<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<meta name="generator" content="Doxygen 1.8.6"/>
<title>SystemSharp: LoopKindRecognition.cs Source File</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="resize.js"></script>
<script type="text/javascript" src="navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
  $(window).load(resizeHeight);
</script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { searchBox.OnSelectItem(0); });
</script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td id="projectlogo"><img alt="Logo" src="logo.png"/></td>
  <td style="padding-left: 0.5em;">
   <div id="projectname">SystemSharp
   &#160;<span id="projectnumber">0.3</span>
   </div>
   <div id="projectbrief">A system-level modeling framework for designing real-time embedded systems</div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.6 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="namespaces.html"><span>Packages</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="files.html"><span>File&#160;List</span></a></li>
      <li><a href="globals.html"><span>File&#160;Members</span></a></li>
    </ul>
  </div>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
      <div id="nav-sync" class="sync"></div>
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
$(document).ready(function(){initNavTree('_loop_kind_recognition_8cs_source.html','');});
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark">&#160;</span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark">&#160;</span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark">&#160;</span>Namespaces</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark">&#160;</span>Files</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark">&#160;</span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(5)"><span class="SelectionMark">&#160;</span>Variables</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(6)"><span class="SelectionMark">&#160;</span>Typedefs</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(7)"><span class="SelectionMark">&#160;</span>Enumerations</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(8)"><span class="SelectionMark">&#160;</span>Enumerator</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(9)"><span class="SelectionMark">&#160;</span>Properties</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(10)"><span class="SelectionMark">&#160;</span>Events</a></div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

<div class="header">
  <div class="headertitle">
<div class="title">LoopKindRecognition.cs</div>  </div>
</div><!--header-->
<div class="contents">
<a href="_loop_kind_recognition_8cs.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;</div>
<div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="keyword">using</span> System;</div>
<div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="keyword">using</span> System.Collections.Generic;</div>
<div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;<span class="keyword">using</span> System.Linq;</div>
<div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="keyword">using</span> System.Text;</div>
<div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="keyword">using</span> SystemSharp.Common;</div>
<div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="keyword">using</span> SystemSharp.Algebraic;</div>
<div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="keyword">using</span> SystemSharp.SysDOM.Eval;</div>
<div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;</div>
<div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="keyword">namespace </span>SystemSharp.SysDOM.Transformations</div>
<div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;{</div>
<div class="line"><a name="l00030"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html">   30</a></span>&#160;    <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html">Preprocessor</a> : <a class="code" href="interface_system_sharp_1_1_sys_d_o_m_1_1_i_statement_visitor.html">IStatementVisitor</a></div>
<div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;    {</div>
<div class="line"><a name="l00032"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#ac5dcacea4131dbbcde9b0f541f859156">   32</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#ac5dcacea4131dbbcde9b0f541f859156">AcceptCompoundStatement</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html">CompoundStatement</a> stmt)</div>
<div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;        {</div>
<div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;            List&lt;Statement&gt; newBody = <span class="keyword">new</span> List&lt;Statement&gt;();</div>
<div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;            <span class="keywordtype">int</span> count = stmt.Statements.Count;</div>
<div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;            <span class="keywordflow">for</span> (<span class="keywordtype">int</span> i = 0; i &lt; count; i++)</div>
<div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;            {</div>
<div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;                stmt.Statements[i].Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;</div>
<div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;                <span class="keywordflow">if</span> (count != 2 &amp;&amp;</div>
<div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;                    i &lt; count - 1 &amp;&amp;</div>
<div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;                    (stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html#a31529e0e2776047f5bc8997ce31f4d88">Statements</a>[i] is <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html">StoreStatement</a>) &amp;&amp;</div>
<div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;                    (stmt.Statements[i + 1] is <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a>))</div>
<div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;                {</div>
<div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;                    stmt.Statements[i + 1].Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;                    <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html">CompoundStatement</a> cs = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html">CompoundStatement</a>();</div>
<div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;                    cs.Statements.Add(stmt.Statements[i]);</div>
<div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;                    cs.Statements.Add(stmt.Statements[i + 1]);</div>
<div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;                    newBody.Add(cs);</div>
<div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;                    i++; <span class="comment">// skip loop statement as it is processed here</span></div>
<div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;                }</div>
<div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;                <span class="keywordflow">else</span></div>
<div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;                    newBody.Add(stmt.Statements[i]);</div>
<div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;            }</div>
<div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;            stmt.Statements.Clear();</div>
<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;            stmt.Statements.AddRange(newBody);</div>
<div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;        }</div>
<div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;</div>
<div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a64f31e860872d77161643ea05ad15103">   59</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a64f31e860872d77161643ea05ad15103">AcceptLoopBlock</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> stmt)</div>
<div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;        {</div>
<div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;            stmt.Body.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        }</div>
<div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;</div>
<div class="line"><a name="l00064"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a70d28c58f33d6e9cf00c9eba0dc41880">   64</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a70d28c58f33d6e9cf00c9eba0dc41880">AcceptBreakLoop</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_break_loop_statement.html">BreakLoopStatement</a> stmt)</div>
<div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;        {</div>
<div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        }</div>
<div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;</div>
<div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a7479a847ac4fab3ca6b1c654c0f099ff">   68</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a7479a847ac4fab3ca6b1c654c0f099ff">AcceptContinueLoop</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_continue_loop_statement.html">ContinueLoopStatement</a> stmt)</div>
<div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        {</div>
<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        }</div>
<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;</div>
<div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#af16e1f2bb602eebfca825d9d5180d804">   72</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#af16e1f2bb602eebfca825d9d5180d804">AcceptIf</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html">IfStatement</a> stmt)</div>
<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        {</div>
<div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;            <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html">Statement</a> branch <span class="keywordflow">in</span> stmt.Branches)</div>
<div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;                branch.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;        }</div>
<div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;</div>
<div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a7fb9cb25a576a51fcf299e6f28f8277c">   78</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a7fb9cb25a576a51fcf299e6f28f8277c">AcceptCase</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement.html">CaseStatement</a> stmt)</div>
<div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        {</div>
<div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;            <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html">Statement</a> branch <span class="keywordflow">in</span> stmt.Branches)</div>
<div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;                branch.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        }</div>
<div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;</div>
<div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a1679d26aed3e97479b152a184e0f440c">   84</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a1679d26aed3e97479b152a184e0f440c">AcceptStore</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html">StoreStatement</a> stmt)</div>
<div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;        {</div>
<div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;        }</div>
<div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;</div>
<div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a49ee9521a4ec35d3449a80bbb86d476c">   88</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a49ee9521a4ec35d3449a80bbb86d476c">AcceptNop</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_nop_statement.html">NopStatement</a> stmt)</div>
<div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        {</div>
<div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        }</div>
<div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;</div>
<div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a1a0853374f4e7665fe9c28c73df5c90e">   92</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a1a0853374f4e7665fe9c28c73df5c90e">AcceptSolve</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_solve_statement.html">SolveStatement</a> stmt)</div>
<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;        {</div>
<div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;        }</div>
<div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;</div>
<div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#ad5ddbb667473a595a8ab7b6a2b90d00d">   96</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#ad5ddbb667473a595a8ab7b6a2b90d00d">AcceptBreakCase</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_break_case_statement.html">BreakCaseStatement</a> stmt)</div>
<div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;        {</div>
<div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        }</div>
<div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;</div>
<div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#ab7727aadbe12f2b7390027957087fb09">  100</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#ab7727aadbe12f2b7390027957087fb09">AcceptGotoCase</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_goto_case_statement.html">GotoCaseStatement</a> stmt)</div>
<div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        {</div>
<div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        }</div>
<div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;</div>
<div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#acaca9b0eee3fde859a740d75fa8ba611">  104</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#acaca9b0eee3fde859a740d75fa8ba611">AcceptGoto</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_goto_statement.html">GotoStatement</a> stmt)</div>
<div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        {</div>
<div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        }</div>
<div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;</div>
<div class="line"><a name="l00108"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#ad525e53302e2b79a2a51a1b537558866">  108</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#ad525e53302e2b79a2a51a1b537558866">AcceptReturn</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_return_statement.html">ReturnStatement</a> stmt)</div>
<div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        {</div>
<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        }</div>
<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;</div>
<div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#ab11c04f777491c95d389618775f28bf5">  112</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#ab11c04f777491c95d389618775f28bf5">AcceptThrow</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_throw_statement.html">ThrowStatement</a> stmt)</div>
<div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        {</div>
<div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;        }</div>
<div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;</div>
<div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a9ac0cf66231b2c53e1ad419f519f912e">  116</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a9ac0cf66231b2c53e1ad419f519f912e">AcceptCall</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_call_statement.html">CallStatement</a> stmt)</div>
<div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        {</div>
<div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;        }</div>
<div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    }</div>
<div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;</div>
<div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_recognition.html">  121</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_recognition.html">LoopRecognition</a></div>
<div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;    {</div>
<div class="line"><a name="l00123"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_recognition.html#a60b3ec5a47da6ac01543be0f4c1f7585">  123</a></span>&#160;        <span class="keyword">public</span> <span class="keyword">static</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_recognition.html#a60b3ec5a47da6ac01543be0f4c1f7585">PreprocessForLoopKindRecognition</a>(<span class="keyword">this</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html">Statement</a> stmt)</div>
<div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        {</div>
<div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html">Preprocessor</a> prep = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html">Preprocessor</a>();</div>
<div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;            stmt.Accept(prep);</div>
<div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        }</div>
<div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;    }</div>
<div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;</div>
<div class="line"><a name="l00130"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html">  130</a></span>&#160;    <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html">LoopControlDetector</a>: <a class="code" href="interface_system_sharp_1_1_sys_d_o_m_1_1_i_statement_visitor.html">IStatementVisitor</a></div>
<div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;    {</div>
<div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;        <span class="keyword">private</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> _loop;</div>
<div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;</div>
<div class="line"><a name="l00134"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a733f04047a30b25fece0d01ee4ea73d0">  134</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">bool</span> Result { <span class="keyword">get</span>; <span class="keyword">private</span> set; }</div>
<div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;</div>
<div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#aa10c6b7a3a4ee668c86926d06be1e82c">  136</a></span>&#160;        <span class="keyword">public</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#aa10c6b7a3a4ee668c86926d06be1e82c">LoopControlDetector</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> loop)</div>
<div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;        {</div>
<div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;            _loop = loop;</div>
<div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;            Result = <span class="keyword">false</span>;</div>
<div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;        }</div>
<div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;</div>
<div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a6f3038051166cb9b9376bb5e97415ff3">  142</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a6f3038051166cb9b9376bb5e97415ff3">AcceptCompoundStatement</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html">CompoundStatement</a> stmt)</div>
<div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;        {</div>
<div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;            <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html">Statement</a> child <span class="keywordflow">in</span> stmt.Statements)</div>
<div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;                child.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        }</div>
<div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;</div>
<div class="line"><a name="l00148"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#ab0439c01b8175520541316cd8b3499b9">  148</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#ab0439c01b8175520541316cd8b3499b9">AcceptLoopBlock</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> stmt)</div>
<div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        {</div>
<div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;            stmt.Body.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;        }</div>
<div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;</div>
<div class="line"><a name="l00153"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a3fe23fec40bca626290e50eb526f7819">  153</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a3fe23fec40bca626290e50eb526f7819">AcceptBreakLoop</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_break_loop_statement.html">BreakLoopStatement</a> stmt)</div>
<div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        {</div>
<div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;            <span class="keywordflow">if</span> (stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_control_statement.html#a4d1b71393feccac3f5fe5913440ef798">Loop</a> == _loop)</div>
<div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;                Result = <span class="keyword">true</span>;</div>
<div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;        }</div>
<div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;</div>
<div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#ae2f0a57df8c90f5ce35bf51ff8fa9822">  159</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#ae2f0a57df8c90f5ce35bf51ff8fa9822">AcceptContinueLoop</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_continue_loop_statement.html">ContinueLoopStatement</a> stmt)</div>
<div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        {</div>
<div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;            <span class="keywordflow">if</span> (stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_control_statement.html#a4d1b71393feccac3f5fe5913440ef798">Loop</a> == _loop)</div>
<div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;                Result = <span class="keyword">true</span>;</div>
<div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;        }</div>
<div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;</div>
<div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#ac37ec5fa8f0893114c1873b3ac4460b9">  165</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#ac37ec5fa8f0893114c1873b3ac4460b9">AcceptIf</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html">IfStatement</a> stmt)</div>
<div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;        {</div>
<div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;            <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html">Statement</a> branch <span class="keywordflow">in</span> stmt.Branches)</div>
<div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;                branch.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;        }</div>
<div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;</div>
<div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a97b2895328cea9940993cd1427d13663">  171</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a97b2895328cea9940993cd1427d13663">AcceptCase</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement.html">CaseStatement</a> stmt)</div>
<div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;        {</div>
<div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;            <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html">Statement</a> branch <span class="keywordflow">in</span> stmt.Branches)</div>
<div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;                branch.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;        }</div>
<div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;</div>
<div class="line"><a name="l00177"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#abba958c2e6d600c83605261054d187b4">  177</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#abba958c2e6d600c83605261054d187b4">AcceptStore</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html">StoreStatement</a> stmt)</div>
<div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;        {</div>
<div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;        }</div>
<div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;</div>
<div class="line"><a name="l00181"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a197e204fd030641cf677ad75f5ca76e7">  181</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a197e204fd030641cf677ad75f5ca76e7">AcceptNop</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_nop_statement.html">NopStatement</a> stmt)</div>
<div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;        {</div>
<div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;        }</div>
<div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;</div>
<div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#ac50d02251362180600b647c069ad9883">  185</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#ac50d02251362180600b647c069ad9883">AcceptSolve</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_solve_statement.html">SolveStatement</a> stmt)</div>
<div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        {</div>
<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        }</div>
<div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;</div>
<div class="line"><a name="l00189"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a5984e4ade500fba490ed193d5b072f05">  189</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a5984e4ade500fba490ed193d5b072f05">AcceptBreakCase</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_break_case_statement.html">BreakCaseStatement</a> stmt)</div>
<div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;        {</div>
<div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;        }</div>
<div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;</div>
<div class="line"><a name="l00193"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#ab02c004e86e14c0eb64359309f0d82b1">  193</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#ab02c004e86e14c0eb64359309f0d82b1">AcceptGotoCase</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_goto_case_statement.html">GotoCaseStatement</a> stmt)</div>
<div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;        {</div>
<div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;        }</div>
<div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;</div>
<div class="line"><a name="l00197"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a3f44800c69b0e04916b3f2ad58f1eabc">  197</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a3f44800c69b0e04916b3f2ad58f1eabc">AcceptGoto</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_goto_statement.html">GotoStatement</a> stmt)</div>
<div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;        {</div>
<div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;        }</div>
<div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;</div>
<div class="line"><a name="l00201"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a5570dffe70e89b877248e09f02a9d9bf">  201</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a5570dffe70e89b877248e09f02a9d9bf">AcceptReturn</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_return_statement.html">ReturnStatement</a> stmt)</div>
<div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;        {</div>
<div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;        }</div>
<div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;</div>
<div class="line"><a name="l00205"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#abe1294a058be00548dc2cc657ee36b7a">  205</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#abe1294a058be00548dc2cc657ee36b7a">AcceptThrow</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_throw_statement.html">ThrowStatement</a> stmt)</div>
<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;        {</div>
<div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;        }</div>
<div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;</div>
<div class="line"><a name="l00209"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#adf0737526eba792ecd5d8be983454de5">  209</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#adf0737526eba792ecd5d8be983454de5">AcceptCall</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_call_statement.html">CallStatement</a> stmt)</div>
<div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;        {</div>
<div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;        }</div>
<div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;    }</div>
<div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;</div>
<div class="line"><a name="l00214"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_scope_detection.html">  214</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_scope_detection.html">LoopScopeDetection</a></div>
<div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;    {</div>
<div class="line"><a name="l00216"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_scope_detection.html#a86ffc83418e37b47d5ea2b1ada876b17">  216</a></span>&#160;        <span class="keyword">public</span> <span class="keyword">static</span> <span class="keywordtype">bool</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_scope_detection.html#a86ffc83418e37b47d5ea2b1ada876b17">NeedsLoopScope</a>(<span class="keyword">this</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html">Statement</a> stmt, <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> loop)</div>
<div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;        {</div>
<div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html">LoopControlDetector</a> lcd = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html">LoopControlDetector</a>(loop);</div>
<div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;            stmt.Accept(lcd);</div>
<div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;            <span class="keywordflow">return</span> lcd.Result;</div>
<div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;        }</div>
<div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;    }</div>
<div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;</div>
<div class="line"><a name="l00224"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html">  224</a></span>&#160;    <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html">BreakLoopReplacer</a>: <a class="code" href="interface_system_sharp_1_1_sys_d_o_m_1_1_i_statement_visitor.html">IStatementVisitor</a></div>
<div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;    {</div>
<div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        <span class="keyword">private</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> _offScopeLoop;</div>
<div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;        <span class="keyword">private</span> Stack&lt;LoopBlock&gt; _loopStack = <span class="keyword">new</span> Stack&lt;LoopBlock&gt;();</div>
<div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;</div>
<div class="line"><a name="l00229"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#aafd231e2312f647fd308c6bb9fe2d217">  229</a></span>&#160;        <span class="keyword">public</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#aafd231e2312f647fd308c6bb9fe2d217">BreakLoopReplacer</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> offScopeLoop)</div>
<div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;        {</div>
<div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;            _offScopeLoop = offScopeLoop;</div>
<div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;        }</div>
<div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;</div>
<div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a6ef16dfaab9446d1c703138925e26f4c">  234</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a6ef16dfaab9446d1c703138925e26f4c">AcceptCompoundStatement</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html">CompoundStatement</a> stmt)</div>
<div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;        {</div>
<div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;            <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html">Statement</a> child <span class="keywordflow">in</span> stmt.Statements)</div>
<div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;                child.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;        }</div>
<div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;</div>
<div class="line"><a name="l00240"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a2e488f2b00d385027846f4f9c264119c">  240</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a2e488f2b00d385027846f4f9c264119c">AcceptLoopBlock</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> stmt)</div>
<div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;        {</div>
<div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;            _loopStack.Push(stmt);</div>
<div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;            stmt.Body.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;            _loopStack.Pop();</div>
<div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;            <span class="keywordflow">if</span> (stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#aacd2c38cfe0f95f392be1f46496aa76e">Trailer</a> != null)</div>
<div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;                stmt.Trailer.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        }</div>
<div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;</div>
<div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a1f33da29edd524cd3cc38cbfaaa78b64">  249</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a1f33da29edd524cd3cc38cbfaaa78b64">AcceptBreakLoop</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_break_loop_statement.html">BreakLoopStatement</a> stmt)</div>
<div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;        {</div>
<div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;            <span class="keywordflow">if</span> (stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_control_statement.html#a4d1b71393feccac3f5fe5913440ef798">Loop</a> == _offScopeLoop)</div>
<div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;            {</div>
<div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;                <span class="keywordflow">if</span> (_loopStack.Any())</div>
<div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;                {</div>
<div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;                    stmt.Loop = _loopStack.Last();</div>
<div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;                }</div>
<div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;                <span class="keywordflow">else</span></div>
<div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;                {</div>
<div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;                    stmt.EliminationPredicate = () =&gt; <span class="keyword">true</span>;</div>
<div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;                }</div>
<div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;            }</div>
<div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;        }</div>
<div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;</div>
<div class="line"><a name="l00264"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#ab2c56cbfa3067b7cfe2b065b2e676183">  264</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#ab2c56cbfa3067b7cfe2b065b2e676183">AcceptContinueLoop</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_continue_loop_statement.html">ContinueLoopStatement</a> stmt)</div>
<div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;        {</div>
<div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;        }</div>
<div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;</div>
<div class="line"><a name="l00268"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#ab8ed073cf1c13cee16bf6b563f7e327b">  268</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#ab8ed073cf1c13cee16bf6b563f7e327b">AcceptIf</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html">IfStatement</a> stmt)</div>
<div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;        {</div>
<div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;            <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html">Statement</a> branch <span class="keywordflow">in</span> stmt.Branches)</div>
<div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;                branch.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;        }</div>
<div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;</div>
<div class="line"><a name="l00274"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a4021c4ad14e12a8d07f646bc3615b6d7">  274</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a4021c4ad14e12a8d07f646bc3615b6d7">AcceptCase</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement.html">CaseStatement</a> stmt)</div>
<div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;        {</div>
<div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;            <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html">Statement</a> branch <span class="keywordflow">in</span> stmt.Branches)</div>
<div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;                branch.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        }</div>
<div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;</div>
<div class="line"><a name="l00280"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a1660db8c3089ba830f57103e53fe6b11">  280</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a1660db8c3089ba830f57103e53fe6b11">AcceptStore</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html">StoreStatement</a> stmt)</div>
<div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        {</div>
<div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        }</div>
<div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;</div>
<div class="line"><a name="l00284"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a64a6fbae3421ce96d6ed28ba32ea1cca">  284</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a64a6fbae3421ce96d6ed28ba32ea1cca">AcceptNop</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_nop_statement.html">NopStatement</a> stmt)</div>
<div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;        {</div>
<div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;        }</div>
<div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;</div>
<div class="line"><a name="l00288"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a572c6b123eb76df7d7ffa577bbeead7b">  288</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a572c6b123eb76df7d7ffa577bbeead7b">AcceptSolve</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_solve_statement.html">SolveStatement</a> stmt)</div>
<div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        {</div>
<div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        }</div>
<div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;</div>
<div class="line"><a name="l00292"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#ace63ed52b58d7c7153ce9a01a53c84c2">  292</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#ace63ed52b58d7c7153ce9a01a53c84c2">AcceptBreakCase</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_break_case_statement.html">BreakCaseStatement</a> stmt)</div>
<div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;        {</div>
<div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;        }</div>
<div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;</div>
<div class="line"><a name="l00296"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#ae6e16f535a8f8f6d1084a5d32cedfe4c">  296</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#ae6e16f535a8f8f6d1084a5d32cedfe4c">AcceptGotoCase</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_goto_case_statement.html">GotoCaseStatement</a> stmt)</div>
<div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;        {</div>
<div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;        }</div>
<div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;</div>
<div class="line"><a name="l00300"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a8c9d00f61ca3bf3080d28bcfe9a35100">  300</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a8c9d00f61ca3bf3080d28bcfe9a35100">AcceptGoto</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_goto_statement.html">GotoStatement</a> stmt)</div>
<div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;        {</div>
<div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;        }</div>
<div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;</div>
<div class="line"><a name="l00304"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a7ad21c114ec3ddf2175552866ccbe6a7">  304</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a7ad21c114ec3ddf2175552866ccbe6a7">AcceptReturn</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_return_statement.html">ReturnStatement</a> stmt)</div>
<div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;        {</div>
<div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;        }</div>
<div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;</div>
<div class="line"><a name="l00308"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a37fca8032da69061738e069aac0ee171">  308</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a37fca8032da69061738e069aac0ee171">AcceptThrow</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_throw_statement.html">ThrowStatement</a> stmt)</div>
<div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;        {</div>
<div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;        }</div>
<div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;</div>
<div class="line"><a name="l00312"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a9139e3cffb07c857c196055151721c94">  312</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a9139e3cffb07c857c196055151721c94">AcceptCall</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_call_statement.html">CallStatement</a> stmt)</div>
<div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;        {</div>
<div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;        }</div>
<div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;    }</div>
<div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;</div>
<div class="line"><a name="l00317"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html">  317</a></span>&#160;    <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html">WhileLoopRecognizer</a>: <a class="code" href="interface_system_sharp_1_1_sys_d_o_m_1_1_i_statement_visitor.html">IStatementVisitor</a></div>
<div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;    {</div>
<div class="line"><a name="l00319"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a23596673a3a4ae586a14cfb6f38bdcf8">  319</a></span>&#160;        <span class="keyword">public</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> Result { <span class="keyword">get</span>; <span class="keyword">private</span> set; }</div>
<div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;</div>
<div class="line"><a name="l00321"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a981bf25750939362dd883036b4646bcf">  321</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a981bf25750939362dd883036b4646bcf">AcceptCompoundStatement</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html">CompoundStatement</a> stmt)</div>
<div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;        {</div>
<div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;        }</div>
<div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;</div>
<div class="line"><a name="l00325"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a6a2fcc7d918b2ada32668cf88bedceb4">  325</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a6a2fcc7d918b2ada32668cf88bedceb4">AcceptLoopBlock</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> stmt)</div>
<div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;        {</div>
<div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html">IfStatement</a> cond = stmt.Body.AsSingleStatement() as <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html">IfStatement</a>;</div>
<div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;            <span class="keywordflow">if</span> (cond == null)</div>
<div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;                <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;</div>
<div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;            <span class="keywordflow">if</span> (cond.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html#ada8e3f19627375431400ad9d7b85a4bb">Conditions</a>.Count != 1 ||</div>
<div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;                cond.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html#ab21ebf237d5dbd34adf2d817ebf2c737">Branches</a>.Count != 2)</div>
<div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;                <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;</div>
<div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;            IList&lt;Statement&gt; trueBranch = cond.Branches[0].AsStatementList();</div>
<div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;            <span class="keywordflow">if</span> (trueBranch.Count == 0 ||</div>
<div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;                !trueBranch.Last().Equals(<span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_continue_loop_statement.html">ContinueLoopStatement</a>() { Loop = stmt }))</div>
<div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;                <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;</div>
<div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;            IList&lt;Statement&gt; falseBranch = cond.Branches[1].AsStatementList();</div>
<div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;            <span class="keywordflow">if</span> (falseBranch.Count == 0)</div>
<div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;                <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;</div>
<div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;<span class="preprocessor">#if false</span></div>
<div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;<span class="preprocessor"></span>            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_break_loop_statement.html">BreakLoopStatement</a> breaker = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_break_loop_statement.html">BreakLoopStatement</a>() { Loop = stmt };</div>
<div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html">Statement</a> trailer = cond.Branches[1].Clone;</div>
<div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;            trailer.RemoveAll(breaker);</div>
<div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;<span class="preprocessor">#endif</span></div>
<div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;<span class="preprocessor"></span></div>
<div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html">Statement</a> trailer = cond.Branches[1].Clone;</div>
<div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html">BreakLoopReplacer</a> blr = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html">BreakLoopReplacer</a>(stmt);</div>
<div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;            trailer.Accept(blr);</div>
<div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;</div>
<div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;            <span class="keywordflow">if</span> (trailer.NeedsLoopScope(stmt))</div>
<div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;                <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;<span class="preprocessor">#if false</span></div>
<div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;<span class="preprocessor"></span>            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html">CompoundStatement</a> trailer = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html">CompoundStatement</a>();</div>
<div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;            trailer.Statements.AddRange(falseBranch.Take(falseBranch.Count - 1));</div>
<div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;            <span class="keywordflow">if</span> (trailer.NeedsLoopScope(stmt))</div>
<div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;                <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;</div>
<div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_break_loop_statement.html">BreakLoopStatement</a> breaker = falseBranch.Last() as <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_break_loop_statement.html">BreakLoopStatement</a>;</div>
<div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;            <span class="keywordflow">if</span> (breaker == null)</div>
<div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;                <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;</div>
<div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;            <span class="keywordflow">if</span> (breaker.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_control_statement.html#a4d1b71393feccac3f5fe5913440ef798">Loop</a>.IsAncestor(stmt))</div>
<div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;            {</div>
<div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;                <span class="comment">/* Consider the following situation:</span></div>
<div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;<span class="comment">                 * </span></div>
<div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;<span class="comment">                 * L1: loop</span></div>
<div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;<span class="comment">                 *   some outer loop work</span></div>
<div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;<span class="comment">                 *   L2: loop</span></div>
<div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;<span class="comment">                 *     if someCondition then</span></div>
<div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;<span class="comment">                 *       do something</span></div>
<div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;<span class="comment">                 *       continue L2</span></div>
<div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;<span class="comment">                 *     else</span></div>
<div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;<span class="comment">                 *       do something different</span></div>
<div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;<span class="comment">                 *       break L1</span></div>
<div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;<span class="comment">                 *     end if</span></div>
<div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;<span class="comment">                 *   end loop L2</span></div>
<div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;<span class="comment">                 * end loop L1</span></div>
<div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;<span class="comment">                 * </span></div>
<div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;<span class="comment">                 * As the inner break statement breaks the outer loop, this loop</span></div>
<div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;<span class="comment">                 * must be transformed into the following code:</span></div>
<div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;<span class="comment">                 * </span></div>
<div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;<span class="comment">                 * L1: loop</span></div>
<div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;<span class="comment">                 *   some outer loop work</span></div>
<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;<span class="comment">                 *   while someCondition loop</span></div>
<div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;<span class="comment">                 *     do something</span></div>
<div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;<span class="comment">                 *   end while</span></div>
<div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;<span class="comment">                 *   do something different</span></div>
<div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;<span class="comment">                 *   break L1</span></div>
<div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;<span class="comment">                 * end loop</span></div>
<div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;<span class="comment">                 * */</span></div>
<div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;</div>
<div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;                <span class="keywordflow">if</span> (breaker.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_control_statement.html#a4d1b71393feccac3f5fe5913440ef798">Loop</a> != stmt)</div>
<div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;                {</div>
<div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;                    trailer.Statements.Add(breaker);</div>
<div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;                }</div>
<div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;            }</div>
<div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;            <span class="keywordflow">else</span></div>
<div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;                <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;<span class="preprocessor">#endif</span></div>
<div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;<span class="preprocessor"></span></div>
<div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html">CompoundStatement</a> newBody = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html">CompoundStatement</a>();</div>
<div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;            newBody.Statements.AddRange(trueBranch.Take(trueBranch.Count - 1));</div>
<div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;</div>
<div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> whileBlock = (<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a>)stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html#afb0680df0429c1a4a22bffd891e91efa">Clone</a>;</div>
<div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;            whileBlock.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#ae69eaa94bcba73ca0d6e1c25c6590ba1">HeadCondition</a> = cond.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html#ada8e3f19627375431400ad9d7b85a4bb">Conditions</a>[0];</div>
<div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;            whileBlock.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#a202cb097aa4816e49cac4be32c6fe146">Body</a> = newBody;</div>
<div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;            whileBlock.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#aacd2c38cfe0f95f392be1f46496aa76e">Trailer</a> = trailer;</div>
<div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;</div>
<div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;            Result = whileBlock;</div>
<div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;        }</div>
<div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;</div>
<div class="line"><a name="l00416"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#afc255907ac39bfac2f9e752ee7c2896f">  416</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#afc255907ac39bfac2f9e752ee7c2896f">AcceptBreakLoop</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_break_loop_statement.html">BreakLoopStatement</a> stmt)</div>
<div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;        {</div>
<div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;        }</div>
<div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;</div>
<div class="line"><a name="l00420"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#ad145905975449a8a95a198d9b82f0940">  420</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#ad145905975449a8a95a198d9b82f0940">AcceptContinueLoop</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_continue_loop_statement.html">ContinueLoopStatement</a> stmt)</div>
<div class="line"><a name="l00421"></a><span class="lineno">  421</span>&#160;        {</div>
<div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;        }</div>
<div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;</div>
<div class="line"><a name="l00424"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#af06e9946ae2f33563749d8eceb978fed">  424</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#af06e9946ae2f33563749d8eceb978fed">AcceptIf</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html">IfStatement</a> stmt)</div>
<div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;        {</div>
<div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;        }</div>
<div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;</div>
<div class="line"><a name="l00428"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a62c9718ba9b5a9bbbc46357289f0caef">  428</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a62c9718ba9b5a9bbbc46357289f0caef">AcceptCase</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement.html">CaseStatement</a> stmt)</div>
<div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;        {</div>
<div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;        }</div>
<div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;</div>
<div class="line"><a name="l00432"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a4c6f361c15e97a14487056d9d67f5fdf">  432</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a4c6f361c15e97a14487056d9d67f5fdf">AcceptStore</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html">StoreStatement</a> stmt)</div>
<div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;        {</div>
<div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;        }</div>
<div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;</div>
<div class="line"><a name="l00436"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#aa29355130eb7971ce7fde24e3af1c241">  436</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#aa29355130eb7971ce7fde24e3af1c241">AcceptNop</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_nop_statement.html">NopStatement</a> stmt)</div>
<div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;        {</div>
<div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;        }</div>
<div class="line"><a name="l00439"></a><span class="lineno">  439</span>&#160;</div>
<div class="line"><a name="l00440"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#aaa9b77f1b98be268e5e0cf92b9b852c0">  440</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#aaa9b77f1b98be268e5e0cf92b9b852c0">AcceptSolve</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_solve_statement.html">SolveStatement</a> stmt)</div>
<div class="line"><a name="l00441"></a><span class="lineno">  441</span>&#160;        {</div>
<div class="line"><a name="l00442"></a><span class="lineno">  442</span>&#160;        }</div>
<div class="line"><a name="l00443"></a><span class="lineno">  443</span>&#160;</div>
<div class="line"><a name="l00444"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#aa2d5fad5211e8592cfa97cf2c8903e1e">  444</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#aa2d5fad5211e8592cfa97cf2c8903e1e">AcceptBreakCase</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_break_case_statement.html">BreakCaseStatement</a> stmt)</div>
<div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160;        {</div>
<div class="line"><a name="l00446"></a><span class="lineno">  446</span>&#160;        }</div>
<div class="line"><a name="l00447"></a><span class="lineno">  447</span>&#160;</div>
<div class="line"><a name="l00448"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a75dea22418a6eeb99002df83e60f8751">  448</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a75dea22418a6eeb99002df83e60f8751">AcceptGotoCase</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_goto_case_statement.html">GotoCaseStatement</a> stmt)</div>
<div class="line"><a name="l00449"></a><span class="lineno">  449</span>&#160;        {</div>
<div class="line"><a name="l00450"></a><span class="lineno">  450</span>&#160;        }</div>
<div class="line"><a name="l00451"></a><span class="lineno">  451</span>&#160;</div>
<div class="line"><a name="l00452"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a8a8a748c10f85c681980f45dab730dba">  452</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a8a8a748c10f85c681980f45dab730dba">AcceptGoto</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_goto_statement.html">GotoStatement</a> stmt)</div>
<div class="line"><a name="l00453"></a><span class="lineno">  453</span>&#160;        {</div>
<div class="line"><a name="l00454"></a><span class="lineno">  454</span>&#160;        }</div>
<div class="line"><a name="l00455"></a><span class="lineno">  455</span>&#160;</div>
<div class="line"><a name="l00456"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a78f30559204c9b331de553122fe2efa0">  456</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a78f30559204c9b331de553122fe2efa0">AcceptReturn</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_return_statement.html">ReturnStatement</a> stmt)</div>
<div class="line"><a name="l00457"></a><span class="lineno">  457</span>&#160;        {</div>
<div class="line"><a name="l00458"></a><span class="lineno">  458</span>&#160;        }</div>
<div class="line"><a name="l00459"></a><span class="lineno">  459</span>&#160;</div>
<div class="line"><a name="l00460"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a8ef9d51f1491529842cab614d548ff7c">  460</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a8ef9d51f1491529842cab614d548ff7c">AcceptThrow</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_throw_statement.html">ThrowStatement</a> stmt)</div>
<div class="line"><a name="l00461"></a><span class="lineno">  461</span>&#160;        {</div>
<div class="line"><a name="l00462"></a><span class="lineno">  462</span>&#160;        }</div>
<div class="line"><a name="l00463"></a><span class="lineno">  463</span>&#160;</div>
<div class="line"><a name="l00464"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a465f564896ddc2dae889e873c34210b2">  464</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a465f564896ddc2dae889e873c34210b2">AcceptCall</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_call_statement.html">CallStatement</a> stmt)</div>
<div class="line"><a name="l00465"></a><span class="lineno">  465</span>&#160;        {</div>
<div class="line"><a name="l00466"></a><span class="lineno">  466</span>&#160;        }</div>
<div class="line"><a name="l00467"></a><span class="lineno">  467</span>&#160;    }</div>
<div class="line"><a name="l00468"></a><span class="lineno">  468</span>&#160;</div>
<div class="line"><a name="l00472"></a><span class="lineno"><a class="line" href="namespace_system_sharp_1_1_sys_d_o_m_1_1_transformations.html#afb7093e7dd2053573e1c2da185a1d013">  472</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">enum</span> <a class="code" href="namespace_system_sharp_1_1_sys_d_o_m_1_1_transformations.html#afb7093e7dd2053573e1c2da185a1d013">EForLoopLevel</a></div>
<div class="line"><a name="l00473"></a><span class="lineno">  473</span>&#160;    {</div>
<div class="line"><a name="l00477"></a><span class="lineno">  477</span>&#160;        Default,</div>
<div class="line"><a name="l00478"></a><span class="lineno">  478</span>&#160;</div>
<div class="line"><a name="l00486"></a><span class="lineno">  486</span>&#160;        <a class="code" href="namespace_system_sharp_1_1_sys_d_o_m_1_1_transformations.html#afb7093e7dd2053573e1c2da185a1d013a2e979835dd62324f5bfe217449ba4974">Strict</a>,</div>
<div class="line"><a name="l00487"></a><span class="lineno">  487</span>&#160;</div>
<div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;        <a class="code" href="namespace_system_sharp_1_1_sys_d_o_m_1_1_transformations.html#afb7093e7dd2053573e1c2da185a1d013a1b00e86e9eec058d0484b133ccc42826">StrictOneInc</a></div>
<div class="line"><a name="l00492"></a><span class="lineno">  492</span>&#160;    }</div>
<div class="line"><a name="l00493"></a><span class="lineno">  493</span>&#160;</div>
<div class="line"><a name="l00494"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html">  494</a></span>&#160;    <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html">ForLoopRecognizer</a> : <a class="code" href="interface_system_sharp_1_1_sys_d_o_m_1_1_i_statement_visitor.html">IStatementVisitor</a></div>
<div class="line"><a name="l00495"></a><span class="lineno">  495</span>&#160;    {</div>
<div class="line"><a name="l00496"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a9057333f866f029e17c87aa799e485cd">  496</a></span>&#160;        <span class="keyword">public</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> Result { <span class="keyword">get</span>; <span class="keyword">private</span> set; }</div>
<div class="line"><a name="l00497"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a2e5e27cdec87f010557fde2cf61b710f">  497</a></span>&#160;        <span class="keyword">public</span> <a class="code" href="namespace_system_sharp_1_1_sys_d_o_m_1_1_transformations.html#afb7093e7dd2053573e1c2da185a1d013">EForLoopLevel</a> Level { <span class="keyword">get</span>; set; }</div>
<div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;</div>
<div class="line"><a name="l00499"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a54c04c6404a7e32316be78a423f0c8c0">  499</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a54c04c6404a7e32316be78a423f0c8c0">AcceptCompoundStatement</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html">CompoundStatement</a> stmt)</div>
<div class="line"><a name="l00500"></a><span class="lineno">  500</span>&#160;        {</div>
<div class="line"><a name="l00501"></a><span class="lineno">  501</span>&#160;            <span class="keywordflow">if</span> (stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html#a31529e0e2776047f5bc8997ce31f4d88">Statements</a>.Count != 2)</div>
<div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;                <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160;</div>
<div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html">StoreStatement</a> initializer = stmt.Statements[0] as <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html">StoreStatement</a>;</div>
<div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> loop = stmt.Statements[1].AsWhileLoop();</div>
<div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;            <span class="keywordflow">if</span> (initializer == null || loop == null)</div>
<div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;                <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;</div>
<div class="line"><a name="l00509"></a><span class="lineno">  509</span>&#160;            IList&lt;Statement&gt; body = loop.Body.AsStatementList();</div>
<div class="line"><a name="l00510"></a><span class="lineno">  510</span>&#160;            <span class="keywordflow">if</span> (body.Count == 0)</div>
<div class="line"><a name="l00511"></a><span class="lineno">  511</span>&#160;                <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00512"></a><span class="lineno">  512</span>&#160;</div>
<div class="line"><a name="l00513"></a><span class="lineno">  513</span>&#160;            StoreStatement step = body.Last() as StoreStatement;</div>
<div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;            <span class="keywordflow">if</span> (step == null)</div>
<div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;                <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;</div>
<div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html">CompoundStatement</a> newBody = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html">CompoundStatement</a>();</div>
<div class="line"><a name="l00518"></a><span class="lineno">  518</span>&#160;            newBody.Statements.AddRange(body.Take(body.Count - 1));</div>
<div class="line"><a name="l00519"></a><span class="lineno">  519</span>&#160;</div>
<div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;            loop.Initializer = initializer;</div>
<div class="line"><a name="l00521"></a><span class="lineno">  521</span>&#160;            loop.Body = newBody;</div>
<div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;            loop.Step = step;</div>
<div class="line"><a name="l00523"></a><span class="lineno">  523</span>&#160;</div>
<div class="line"><a name="l00524"></a><span class="lineno">  524</span>&#160;            <span class="keywordflow">if</span> (Level == <a class="code" href="namespace_system_sharp_1_1_sys_d_o_m_1_1_transformations.html#afb7093e7dd2053573e1c2da185a1d013">EForLoopLevel</a>.Strict ||</div>
<div class="line"><a name="l00525"></a><span class="lineno">  525</span>&#160;                Level == <a class="code" href="namespace_system_sharp_1_1_sys_d_o_m_1_1_transformations.html#afb7093e7dd2053573e1c2da185a1d013">EForLoopLevel</a>.StrictOneInc)</div>
<div class="line"><a name="l00526"></a><span class="lineno">  526</span>&#160;            {</div>
<div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;                StoreStatement initStore = initializer;</div>
<div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;</div>
<div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;                <span class="keywordflow">if</span> (initStore.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html#a0a1ae5400674e68848d8df3737ff06c6">Container</a> == null)</div>
<div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;                    <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00531"></a><span class="lineno">  531</span>&#160;                </div>
<div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;                <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_variable.html">Variable</a> counterVar = initStore.Container as <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_variable.html">Variable</a>;</div>
<div class="line"><a name="l00533"></a><span class="lineno">  533</span>&#160;                <span class="keywordflow">if</span> (counterVar == null)</div>
<div class="line"><a name="l00534"></a><span class="lineno">  534</span>&#160;                    <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00535"></a><span class="lineno">  535</span>&#160;</div>
<div class="line"><a name="l00536"></a><span class="lineno">  536</span>&#160;                loop.CounterVariable = counterVar;</div>
<div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;</div>
<div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;                Type counterType = counterVar.Type.CILType;</div>
<div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;                <span class="keywordflow">if</span> (!counterType.IsEnumerable())</div>
<div class="line"><a name="l00540"></a><span class="lineno">  540</span>&#160;                    <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00541"></a><span class="lineno">  541</span>&#160;</div>
<div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160;                <span class="keywordflow">if</span> (loop.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#a202cb097aa4816e49cac4be32c6fe146">Body</a>.Modifies(counterVar))</div>
<div class="line"><a name="l00543"></a><span class="lineno">  543</span>&#160;                    <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00544"></a><span class="lineno">  544</span>&#160;</div>
<div class="line"><a name="l00545"></a><span class="lineno">  545</span>&#160;                loop.CounterStart = initStore.Value;</div>
<div class="line"><a name="l00546"></a><span class="lineno">  546</span>&#160;</div>
<div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;                <span class="keywordflow">if</span> (step.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html#a0a1ae5400674e68848d8df3737ff06c6">Container</a> == null)</div>
<div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;                    <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;</div>
<div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;                <span class="keywordflow">if</span> (!step.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html#a0a1ae5400674e68848d8df3737ff06c6">Container</a>.Equals(counterVar))</div>
<div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;                    <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;</div>
<div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;                <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a> stepExpr = step.Value;</div>
<div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;</div>
<div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;                <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a> x = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a>();</div>
<div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;                <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a> mctr = (<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_literal_reference.html">LiteralReference</a>)counterVar;</div>
<div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;                <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a> mctrInc = mctr + x;</div>
<div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;                <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a> mctrDec = mctr - x;</div>
<div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;                <span class="keywordflow">if</span> (((<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a>.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html#ae0af2e8127f24d85216108cf9747643f">MatchFunction</a>)mctrInc)(stepExpr))</div>
<div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;                {</div>
<div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;                    loop.CounterStep = x.Result;</div>
<div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;                    loop.CounterDirection = LoopBlock.ECounterDirection.Increment;</div>
<div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;                }</div>
<div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;                <span class="keywordflow">else</span> <span class="keywordflow">if</span> (((<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a>.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html#ae0af2e8127f24d85216108cf9747643f">MatchFunction</a>)mctrDec)(stepExpr))</div>
<div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;                {</div>
<div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;                    loop.CounterStep = x.Result;</div>
<div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;                    loop.CounterDirection = LoopBlock.ECounterDirection.Decrement;</div>
<div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;                }</div>
<div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;                <span class="keywordflow">else</span></div>
<div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;                    <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;</div>
<div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;                <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_bin_op.html">BinOp</a> cmp = loop.HeadCondition as <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_bin_op.html">BinOp</a>;</div>
<div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;                <span class="keywordflow">if</span> (cmp == null)</div>
<div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;                    <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00575"></a><span class="lineno">  575</span>&#160;</div>
<div class="line"><a name="l00576"></a><span class="lineno">  576</span>&#160;                <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_literal_reference.html">LiteralReference</a> lhs = cmp.Children[0] as <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_literal_reference.html">LiteralReference</a>;</div>
<div class="line"><a name="l00577"></a><span class="lineno">  577</span>&#160;                <span class="keywordflow">if</span> (lhs == null)</div>
<div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;                    <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;                <span class="keywordflow">if</span> (!lhs.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_literal_reference.html#a85c86e184c594f162c9a1ca3881098c7">ReferencedObject</a>.Equals(counterVar))</div>
<div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160;                    <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00581"></a><span class="lineno">  581</span>&#160;</div>
<div class="line"><a name="l00582"></a><span class="lineno">  582</span>&#160;                loop.CounterStop = cmp.Children[1];</div>
<div class="line"><a name="l00583"></a><span class="lineno">  583</span>&#160;</div>
<div class="line"><a name="l00584"></a><span class="lineno">  584</span>&#160;                <span class="keywordflow">switch</span> (loop.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#a6a2925a18464b80d142cc062aa5e1e83">CounterDirection</a>)</div>
<div class="line"><a name="l00585"></a><span class="lineno">  585</span>&#160;                {</div>
<div class="line"><a name="l00586"></a><span class="lineno">  586</span>&#160;                    <span class="keywordflow">case</span> LoopBlock.ECounterDirection.Decrement:</div>
<div class="line"><a name="l00587"></a><span class="lineno">  587</span>&#160;                        <span class="keywordflow">switch</span> (cmp.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_bin_op.html#a387378fc1ca0e4c0c5d9084e9644906f">Operation</a>)</div>
<div class="line"><a name="l00588"></a><span class="lineno">  588</span>&#160;                        {</div>
<div class="line"><a name="l00589"></a><span class="lineno">  589</span>&#160;                            <span class="keywordflow">case</span> BinOp.Kind.Gt:</div>
<div class="line"><a name="l00590"></a><span class="lineno">  590</span>&#160;                            <span class="keywordflow">case</span> BinOp.Kind.NEq:</div>
<div class="line"><a name="l00591"></a><span class="lineno">  591</span>&#160;                                loop.CounterLimitKind = LoopBlock.ELimitKind.ExcludingStopValue;</div>
<div class="line"><a name="l00592"></a><span class="lineno">  592</span>&#160;                                <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00593"></a><span class="lineno">  593</span>&#160;</div>
<div class="line"><a name="l00594"></a><span class="lineno">  594</span>&#160;                            <span class="keywordflow">case</span> BinOp.Kind.GtEq:</div>
<div class="line"><a name="l00595"></a><span class="lineno">  595</span>&#160;                                loop.CounterLimitKind = LoopBlock.ELimitKind.IncludingStopValue;</div>
<div class="line"><a name="l00596"></a><span class="lineno">  596</span>&#160;                                <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;</div>
<div class="line"><a name="l00598"></a><span class="lineno">  598</span>&#160;                            <span class="keywordflow">default</span>:</div>
<div class="line"><a name="l00599"></a><span class="lineno">  599</span>&#160;                                <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;                        }</div>
<div class="line"><a name="l00601"></a><span class="lineno">  601</span>&#160;                        <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00602"></a><span class="lineno">  602</span>&#160;</div>
<div class="line"><a name="l00603"></a><span class="lineno">  603</span>&#160;                    <span class="keywordflow">case</span> LoopBlock.ECounterDirection.Increment:</div>
<div class="line"><a name="l00604"></a><span class="lineno">  604</span>&#160;                        <span class="keywordflow">switch</span> (cmp.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_bin_op.html#a387378fc1ca0e4c0c5d9084e9644906f">Operation</a>)</div>
<div class="line"><a name="l00605"></a><span class="lineno">  605</span>&#160;                        {</div>
<div class="line"><a name="l00606"></a><span class="lineno">  606</span>&#160;                            <span class="keywordflow">case</span> BinOp.Kind.Lt:</div>
<div class="line"><a name="l00607"></a><span class="lineno">  607</span>&#160;                            <span class="keywordflow">case</span> BinOp.Kind.NEq:</div>
<div class="line"><a name="l00608"></a><span class="lineno">  608</span>&#160;                                loop.CounterLimitKind = LoopBlock.ELimitKind.ExcludingStopValue;</div>
<div class="line"><a name="l00609"></a><span class="lineno">  609</span>&#160;                                <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00610"></a><span class="lineno">  610</span>&#160;</div>
<div class="line"><a name="l00611"></a><span class="lineno">  611</span>&#160;                            <span class="keywordflow">case</span> BinOp.Kind.LtEq:</div>
<div class="line"><a name="l00612"></a><span class="lineno">  612</span>&#160;                                loop.CounterLimitKind = LoopBlock.ELimitKind.IncludingStopValue;</div>
<div class="line"><a name="l00613"></a><span class="lineno">  613</span>&#160;                                <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00614"></a><span class="lineno">  614</span>&#160;</div>
<div class="line"><a name="l00615"></a><span class="lineno">  615</span>&#160;                            <span class="keywordflow">default</span>:</div>
<div class="line"><a name="l00616"></a><span class="lineno">  616</span>&#160;                                <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;                        }</div>
<div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;                        <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;                }</div>
<div class="line"><a name="l00620"></a><span class="lineno">  620</span>&#160;</div>
<div class="line"><a name="l00621"></a><span class="lineno">  621</span>&#160;                <span class="keywordflow">if</span> (Level == <a class="code" href="namespace_system_sharp_1_1_sys_d_o_m_1_1_transformations.html#afb7093e7dd2053573e1c2da185a1d013">EForLoopLevel</a>.StrictOneInc)</div>
<div class="line"><a name="l00622"></a><span class="lineno">  622</span>&#160;                {</div>
<div class="line"><a name="l00623"></a><span class="lineno">  623</span>&#160;                    <span class="keywordtype">object</span> inc;</div>
<div class="line"><a name="l00624"></a><span class="lineno">  624</span>&#160;                    <span class="keywordflow">try</span></div>
<div class="line"><a name="l00625"></a><span class="lineno">  625</span>&#160;                    {</div>
<div class="line"><a name="l00626"></a><span class="lineno">  626</span>&#160;                        inc = loop.CounterStep.Eval(<span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_eval_1_1_default_evaluator.html">DefaultEvaluator</a>());</div>
<div class="line"><a name="l00627"></a><span class="lineno">  627</span>&#160;                    }</div>
<div class="line"><a name="l00628"></a><span class="lineno">  628</span>&#160;                    <span class="keywordflow">catch</span> (<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_eval_1_1_break_evaluation_exception.html">BreakEvaluationException</a>)</div>
<div class="line"><a name="l00629"></a><span class="lineno">  629</span>&#160;                    {</div>
<div class="line"><a name="l00630"></a><span class="lineno">  630</span>&#160;                        <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00631"></a><span class="lineno">  631</span>&#160;                    }</div>
<div class="line"><a name="l00632"></a><span class="lineno">  632</span>&#160;                    <span class="keywordflow">if</span> (inc == null)</div>
<div class="line"><a name="l00633"></a><span class="lineno">  633</span>&#160;                        <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00634"></a><span class="lineno">  634</span>&#160;                    <span class="keywordtype">long</span> stepValue = TypeConversions.ToLong(inc);</div>
<div class="line"><a name="l00635"></a><span class="lineno">  635</span>&#160;                    <span class="keywordflow">if</span> (stepValue == 1)</div>
<div class="line"><a name="l00636"></a><span class="lineno">  636</span>&#160;                    {</div>
<div class="line"><a name="l00637"></a><span class="lineno">  637</span>&#160;                        <span class="keywordflow">switch</span> (loop.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#a6a2925a18464b80d142cc062aa5e1e83">CounterDirection</a>)</div>
<div class="line"><a name="l00638"></a><span class="lineno">  638</span>&#160;                        {</div>
<div class="line"><a name="l00639"></a><span class="lineno">  639</span>&#160;                            <span class="keywordflow">case</span> LoopBlock.ECounterDirection.Increment:</div>
<div class="line"><a name="l00640"></a><span class="lineno">  640</span>&#160;                                loop.CounterDirection = LoopBlock.ECounterDirection.IncrementOne;</div>
<div class="line"><a name="l00641"></a><span class="lineno">  641</span>&#160;                                <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00642"></a><span class="lineno">  642</span>&#160;</div>
<div class="line"><a name="l00643"></a><span class="lineno">  643</span>&#160;                            <span class="keywordflow">case</span> LoopBlock.ECounterDirection.Decrement:</div>
<div class="line"><a name="l00644"></a><span class="lineno">  644</span>&#160;                                loop.CounterDirection = LoopBlock.ECounterDirection.DecrementOne;</div>
<div class="line"><a name="l00645"></a><span class="lineno">  645</span>&#160;                                <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00646"></a><span class="lineno">  646</span>&#160;                        }</div>
<div class="line"><a name="l00647"></a><span class="lineno">  647</span>&#160;                    }</div>
<div class="line"><a name="l00648"></a><span class="lineno">  648</span>&#160;                    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (stepValue == -1)</div>
<div class="line"><a name="l00649"></a><span class="lineno">  649</span>&#160;                    {</div>
<div class="line"><a name="l00650"></a><span class="lineno">  650</span>&#160;                        <span class="keywordflow">switch</span> (loop.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#a6a2925a18464b80d142cc062aa5e1e83">CounterDirection</a>)</div>
<div class="line"><a name="l00651"></a><span class="lineno">  651</span>&#160;                        {</div>
<div class="line"><a name="l00652"></a><span class="lineno">  652</span>&#160;                            <span class="keywordflow">case</span> LoopBlock.ECounterDirection.Increment:</div>
<div class="line"><a name="l00653"></a><span class="lineno">  653</span>&#160;                                loop.CounterDirection = LoopBlock.ECounterDirection.DecrementOne;</div>
<div class="line"><a name="l00654"></a><span class="lineno">  654</span>&#160;                                <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00655"></a><span class="lineno">  655</span>&#160;</div>
<div class="line"><a name="l00656"></a><span class="lineno">  656</span>&#160;                            <span class="keywordflow">case</span> LoopBlock.ECounterDirection.Decrement:</div>
<div class="line"><a name="l00657"></a><span class="lineno">  657</span>&#160;                                loop.CounterDirection = LoopBlock.ECounterDirection.IncrementOne;</div>
<div class="line"><a name="l00658"></a><span class="lineno">  658</span>&#160;                                <span class="keywordflow">break</span>;</div>
<div class="line"><a name="l00659"></a><span class="lineno">  659</span>&#160;                        }</div>
<div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;                    }</div>
<div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;                    <span class="keywordflow">else</span></div>
<div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;                        <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00663"></a><span class="lineno">  663</span>&#160;                }</div>
<div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;            }</div>
<div class="line"><a name="l00665"></a><span class="lineno">  665</span>&#160;</div>
<div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;            Result = loop;</div>
<div class="line"><a name="l00667"></a><span class="lineno">  667</span>&#160;        }</div>
<div class="line"><a name="l00668"></a><span class="lineno">  668</span>&#160;</div>
<div class="line"><a name="l00669"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#ab9c8101ea323cafaa86aeb96b5e7b625">  669</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#ab9c8101ea323cafaa86aeb96b5e7b625">AcceptLoopBlock</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> stmt)</div>
<div class="line"><a name="l00670"></a><span class="lineno">  670</span>&#160;        {</div>
<div class="line"><a name="l00671"></a><span class="lineno">  671</span>&#160;        }</div>
<div class="line"><a name="l00672"></a><span class="lineno">  672</span>&#160;</div>
<div class="line"><a name="l00673"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#acab8324c32aaf32721608da31fa80e21">  673</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#acab8324c32aaf32721608da31fa80e21">AcceptBreakLoop</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_break_loop_statement.html">BreakLoopStatement</a> stmt)</div>
<div class="line"><a name="l00674"></a><span class="lineno">  674</span>&#160;        {</div>
<div class="line"><a name="l00675"></a><span class="lineno">  675</span>&#160;        }</div>
<div class="line"><a name="l00676"></a><span class="lineno">  676</span>&#160;</div>
<div class="line"><a name="l00677"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#af77f4af451ef823345842b2b0102e0a1">  677</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#af77f4af451ef823345842b2b0102e0a1">AcceptContinueLoop</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_continue_loop_statement.html">ContinueLoopStatement</a> stmt)</div>
<div class="line"><a name="l00678"></a><span class="lineno">  678</span>&#160;        {</div>
<div class="line"><a name="l00679"></a><span class="lineno">  679</span>&#160;        }</div>
<div class="line"><a name="l00680"></a><span class="lineno">  680</span>&#160;</div>
<div class="line"><a name="l00681"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#adabd6053b54e9a94e9a76049b1478cf9">  681</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#adabd6053b54e9a94e9a76049b1478cf9">AcceptIf</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html">IfStatement</a> stmt)</div>
<div class="line"><a name="l00682"></a><span class="lineno">  682</span>&#160;        {</div>
<div class="line"><a name="l00683"></a><span class="lineno">  683</span>&#160;        }</div>
<div class="line"><a name="l00684"></a><span class="lineno">  684</span>&#160;</div>
<div class="line"><a name="l00685"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#afad59a2cdacd996df14bf3c60b7c37fa">  685</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#afad59a2cdacd996df14bf3c60b7c37fa">AcceptCase</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement.html">CaseStatement</a> stmt)</div>
<div class="line"><a name="l00686"></a><span class="lineno">  686</span>&#160;        {</div>
<div class="line"><a name="l00687"></a><span class="lineno">  687</span>&#160;        }</div>
<div class="line"><a name="l00688"></a><span class="lineno">  688</span>&#160;</div>
<div class="line"><a name="l00689"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a8e1ae9a06360e378517ca47c56a57def">  689</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a8e1ae9a06360e378517ca47c56a57def">AcceptStore</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html">StoreStatement</a> stmt)</div>
<div class="line"><a name="l00690"></a><span class="lineno">  690</span>&#160;        {</div>
<div class="line"><a name="l00691"></a><span class="lineno">  691</span>&#160;        }</div>
<div class="line"><a name="l00692"></a><span class="lineno">  692</span>&#160;</div>
<div class="line"><a name="l00693"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#aa0383640213c96be4b31ca2f44c291f4">  693</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#aa0383640213c96be4b31ca2f44c291f4">AcceptNop</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_nop_statement.html">NopStatement</a> stmt)</div>
<div class="line"><a name="l00694"></a><span class="lineno">  694</span>&#160;        {</div>
<div class="line"><a name="l00695"></a><span class="lineno">  695</span>&#160;        }</div>
<div class="line"><a name="l00696"></a><span class="lineno">  696</span>&#160;</div>
<div class="line"><a name="l00697"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a0663871c11efa33874a48a66e9e395cb">  697</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a0663871c11efa33874a48a66e9e395cb">AcceptSolve</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_solve_statement.html">SolveStatement</a> stmt)</div>
<div class="line"><a name="l00698"></a><span class="lineno">  698</span>&#160;        {</div>
<div class="line"><a name="l00699"></a><span class="lineno">  699</span>&#160;        }</div>
<div class="line"><a name="l00700"></a><span class="lineno">  700</span>&#160;</div>
<div class="line"><a name="l00701"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a189887a338278b568ed1f408b3fdf730">  701</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a189887a338278b568ed1f408b3fdf730">AcceptBreakCase</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_break_case_statement.html">BreakCaseStatement</a> stmt)</div>
<div class="line"><a name="l00702"></a><span class="lineno">  702</span>&#160;        {</div>
<div class="line"><a name="l00703"></a><span class="lineno">  703</span>&#160;        }</div>
<div class="line"><a name="l00704"></a><span class="lineno">  704</span>&#160;</div>
<div class="line"><a name="l00705"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#ab35a8f742e136534464d203571650985">  705</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#ab35a8f742e136534464d203571650985">AcceptGotoCase</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_goto_case_statement.html">GotoCaseStatement</a> stmt)</div>
<div class="line"><a name="l00706"></a><span class="lineno">  706</span>&#160;        {</div>
<div class="line"><a name="l00707"></a><span class="lineno">  707</span>&#160;        }</div>
<div class="line"><a name="l00708"></a><span class="lineno">  708</span>&#160;</div>
<div class="line"><a name="l00709"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a36fbc7cca8bd6b87014663ece4e44906">  709</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a36fbc7cca8bd6b87014663ece4e44906">AcceptGoto</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_goto_statement.html">GotoStatement</a> stmt)</div>
<div class="line"><a name="l00710"></a><span class="lineno">  710</span>&#160;        {</div>
<div class="line"><a name="l00711"></a><span class="lineno">  711</span>&#160;        }</div>
<div class="line"><a name="l00712"></a><span class="lineno">  712</span>&#160;</div>
<div class="line"><a name="l00713"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a0ba340f89f373280beed4c4e5f66ab2d">  713</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a0ba340f89f373280beed4c4e5f66ab2d">AcceptReturn</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_return_statement.html">ReturnStatement</a> stmt)</div>
<div class="line"><a name="l00714"></a><span class="lineno">  714</span>&#160;        {</div>
<div class="line"><a name="l00715"></a><span class="lineno">  715</span>&#160;        }</div>
<div class="line"><a name="l00716"></a><span class="lineno">  716</span>&#160;</div>
<div class="line"><a name="l00717"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a68d9bd6e729c4510f868e83230f3db36">  717</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a68d9bd6e729c4510f868e83230f3db36">AcceptThrow</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_throw_statement.html">ThrowStatement</a> stmt)</div>
<div class="line"><a name="l00718"></a><span class="lineno">  718</span>&#160;        {</div>
<div class="line"><a name="l00719"></a><span class="lineno">  719</span>&#160;        }</div>
<div class="line"><a name="l00720"></a><span class="lineno">  720</span>&#160;</div>
<div class="line"><a name="l00721"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a83a98bd9ab9813c5ea76a640e8c31789">  721</a></span>&#160;        <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a83a98bd9ab9813c5ea76a640e8c31789">AcceptCall</a>(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_call_statement.html">CallStatement</a> stmt)</div>
<div class="line"><a name="l00722"></a><span class="lineno">  722</span>&#160;        {</div>
<div class="line"><a name="l00723"></a><span class="lineno">  723</span>&#160;        }</div>
<div class="line"><a name="l00724"></a><span class="lineno">  724</span>&#160;    }</div>
<div class="line"><a name="l00725"></a><span class="lineno">  725</span>&#160;</div>
<div class="line"><a name="l00731"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_kind_detection.html">  731</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_kind_detection.html">LoopKindDetection</a></div>
<div class="line"><a name="l00732"></a><span class="lineno">  732</span>&#160;    {</div>
<div class="line"><a name="l00739"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_kind_detection.html#a25ad394c0490e32f4ffc64dbf5661a12">  739</a></span>&#160;        <span class="keyword">public</span> <span class="keyword">static</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_kind_detection.html#a25ad394c0490e32f4ffc64dbf5661a12">AsWhileLoop</a>(<span class="keyword">this</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html">Statement</a> stmt)</div>
<div class="line"><a name="l00740"></a><span class="lineno">  740</span>&#160;        {</div>
<div class="line"><a name="l00741"></a><span class="lineno">  741</span>&#160;            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html">WhileLoopRecognizer</a> wlr = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html">WhileLoopRecognizer</a>();</div>
<div class="line"><a name="l00742"></a><span class="lineno">  742</span>&#160;            stmt.Accept(wlr);</div>
<div class="line"><a name="l00743"></a><span class="lineno">  743</span>&#160;            <span class="keywordflow">return</span> wlr.Result;</div>
<div class="line"><a name="l00744"></a><span class="lineno">  744</span>&#160;        }</div>
<div class="line"><a name="l00745"></a><span class="lineno">  745</span>&#160;</div>
<div class="line"><a name="l00753"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_kind_detection.html#aa4c2a2d7a28bfde97e810023152e8587">  753</a></span>&#160;        <span class="keyword">public</span> <span class="keyword">static</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_kind_detection.html#aa4c2a2d7a28bfde97e810023152e8587">AsForLoop</a>(<span class="keyword">this</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html">Statement</a> stmt, <a class="code" href="namespace_system_sharp_1_1_sys_d_o_m_1_1_transformations.html#afb7093e7dd2053573e1c2da185a1d013">EForLoopLevel</a> level)</div>
<div class="line"><a name="l00754"></a><span class="lineno">  754</span>&#160;        {</div>
<div class="line"><a name="l00755"></a><span class="lineno">  755</span>&#160;            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html">ForLoopRecognizer</a> flr = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html">ForLoopRecognizer</a>()</div>
<div class="line"><a name="l00756"></a><span class="lineno">  756</span>&#160;            {</div>
<div class="line"><a name="l00757"></a><span class="lineno">  757</span>&#160;                Level = level</div>
<div class="line"><a name="l00758"></a><span class="lineno">  758</span>&#160;            };</div>
<div class="line"><a name="l00759"></a><span class="lineno">  759</span>&#160;            stmt.Accept(flr);</div>
<div class="line"><a name="l00760"></a><span class="lineno">  760</span>&#160;            <span class="keywordflow">return</span> flr.Result;</div>
<div class="line"><a name="l00761"></a><span class="lineno">  761</span>&#160;        }</div>
<div class="line"><a name="l00762"></a><span class="lineno">  762</span>&#160;    }</div>
<div class="line"><a name="l00763"></a><span class="lineno">  763</span>&#160;}</div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor_html_ab7727aadbe12f2b7390027957087fb09"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#ab7727aadbe12f2b7390027957087fb09">SystemSharp.SysDOM.Transformations.Preprocessor.AcceptGotoCase</a></div><div class="ttdeci">void AcceptGotoCase(GotoCaseStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00100">LoopKindRecognition.cs:100</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_goto_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_goto_statement.html">SystemSharp.SysDOM.GotoStatement</a></div><div class="ttdoc">Models a &quot;goto&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00657">Algorithms.cs:657</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_kind_detection_html_a25ad394c0490e32f4ffc64dbf5661a12"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_kind_detection.html#a25ad394c0490e32f4ffc64dbf5661a12">SystemSharp.SysDOM.Transformations.LoopKindDetection.AsWhileLoop</a></div><div class="ttdeci">static LoopBlock AsWhileLoop(this Statement stmt)</div><div class="ttdoc">Tries to interpret the statement as &quot;while&quot; loop. </div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00739">LoopKindRecognition.cs:739</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_literal_reference_html_a85c86e184c594f162c9a1ca3881098c7"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_literal_reference.html#a85c86e184c594f162c9a1ca3881098c7">SystemSharp.SysDOM.LiteralReference.ReferencedObject</a></div><div class="ttdeci">ILiteral ReferencedObject</div><div class="ttdoc">The reference literal </div><div class="ttdef"><b>Definition:</b> <a href="_core_algebraic_8cs_source.html#l02134">CoreAlgebraic.cs:2134</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html">SystemSharp.SysDOM.Transformations.WhileLoopRecognizer</a></div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00317">LoopKindRecognition.cs:317</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block_html_a6a2925a18464b80d142cc062aa5e1e83"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#a6a2925a18464b80d142cc062aa5e1e83">SystemSharp.SysDOM.LoopBlock.CounterDirection</a></div><div class="ttdeci">ECounterDirection CounterDirection</div><div class="ttdoc">The counter direction (given this is a &quot;strict&quot; for-loop) </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00406">Algorithms.cs:406</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer_html_a75dea22418a6eeb99002df83e60f8751"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a75dea22418a6eeb99002df83e60f8751">SystemSharp.SysDOM.Transformations.WhileLoopRecognizer.AcceptGotoCase</a></div><div class="ttdeci">void AcceptGotoCase(GotoCaseStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00448">LoopKindRecognition.cs:448</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html_a1f33da29edd524cd3cc38cbfaaa78b64"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a1f33da29edd524cd3cc38cbfaaa78b64">SystemSharp.SysDOM.Transformations.BreakLoopReplacer.AcceptBreakLoop</a></div><div class="ttdeci">void AcceptBreakLoop(BreakLoopStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00249">LoopKindRecognition.cs:249</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html_abba958c2e6d600c83605261054d187b4"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#abba958c2e6d600c83605261054d187b4">SystemSharp.SysDOM.Transformations.LoopControlDetector.AcceptStore</a></div><div class="ttdeci">void AcceptStore(StoreStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00177">LoopKindRecognition.cs:177</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer_html_ab9c8101ea323cafaa86aeb96b5e7b625"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#ab9c8101ea323cafaa86aeb96b5e7b625">SystemSharp.SysDOM.Transformations.ForLoopRecognizer.AcceptLoopBlock</a></div><div class="ttdeci">void AcceptLoopBlock(LoopBlock stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00669">LoopKindRecognition.cs:669</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer_html_afc255907ac39bfac2f9e752ee7c2896f"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#afc255907ac39bfac2f9e752ee7c2896f">SystemSharp.SysDOM.Transformations.WhileLoopRecognizer.AcceptBreakLoop</a></div><div class="ttdeci">void AcceptBreakLoop(BreakLoopStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00416">LoopKindRecognition.cs:416</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_solve_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_solve_statement.html">SystemSharp.SysDOM.SolveStatement</a></div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00972">Algorithms.cs:972</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer_html_a4c6f361c15e97a14487056d9d67f5fdf"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a4c6f361c15e97a14487056d9d67f5fdf">SystemSharp.SysDOM.Transformations.WhileLoopRecognizer.AcceptStore</a></div><div class="ttdeci">void AcceptStore(StoreStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00432">LoopKindRecognition.cs:432</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer_html_ad145905975449a8a95a198d9b82f0940"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#ad145905975449a8a95a198d9b82f0940">SystemSharp.SysDOM.Transformations.WhileLoopRecognizer.AcceptContinueLoop</a></div><div class="ttdeci">void AcceptContinueLoop(ContinueLoopStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00420">LoopKindRecognition.cs:420</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html_a3f44800c69b0e04916b3f2ad58f1eabc"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a3f44800c69b0e04916b3f2ad58f1eabc">SystemSharp.SysDOM.Transformations.LoopControlDetector.AcceptGoto</a></div><div class="ttdeci">void AcceptGoto(GotoStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00197">LoopKindRecognition.cs:197</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_kind_detection_html_aa4c2a2d7a28bfde97e810023152e8587"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_kind_detection.html#aa4c2a2d7a28bfde97e810023152e8587">SystemSharp.SysDOM.Transformations.LoopKindDetection.AsForLoop</a></div><div class="ttdeci">static LoopBlock AsForLoop(this Statement stmt, EForLoopLevel level)</div><div class="ttdoc">Tries to interpret the statement as &quot;for&quot; loop. </div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00753">LoopKindRecognition.cs:753</a></div></div>
<div class="ttc" id="namespace_system_sharp_1_1_sys_d_o_m_1_1_transformations_html_afb7093e7dd2053573e1c2da185a1d013a2e979835dd62324f5bfe217449ba4974"><div class="ttname"><a href="namespace_system_sharp_1_1_sys_d_o_m_1_1_transformations.html#afb7093e7dd2053573e1c2da185a1d013a2e979835dd62324f5bfe217449ba4974">SystemSharp.SysDOM.Transformations.Strict</a></div><div class="ttdoc">A &quot;strict&quot; for-loop comes with several restrictions: </div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html_a4021c4ad14e12a8d07f646bc3615b6d7"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a4021c4ad14e12a8d07f646bc3615b6d7">SystemSharp.SysDOM.Transformations.BreakLoopReplacer.AcceptCase</a></div><div class="ttdeci">void AcceptCase(CaseStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00274">LoopKindRecognition.cs:274</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_kind_detection_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_kind_detection.html">SystemSharp.SysDOM.Transformations.LoopKindDetection</a></div><div class="ttdoc">This static class provides services for detecting common loop patterns, such as &quot;while&quot; loop and &quot;for...</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00731">LoopKindRecognition.cs:731</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_expression_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">SystemSharp.SysDOM.Expression</a></div><div class="ttdoc">An expression. </div><div class="ttdef"><b>Definition:</b> <a href="_core_algebraic_8cs_source.html#l01096">CoreAlgebraic.cs:1096</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_expression_html_ae0af2e8127f24d85216108cf9747643f"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html#ae0af2e8127f24d85216108cf9747643f">SystemSharp.SysDOM.Expression.MatchFunction</a></div><div class="ttdeci">delegate bool MatchFunction(Expression e)</div><div class="ttdoc">Matches an expression for some preficate. </div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_recognition_html_a60b3ec5a47da6ac01543be0f4c1f7585"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_recognition.html#a60b3ec5a47da6ac01543be0f4c1f7585">SystemSharp.SysDOM.Transformations.LoopRecognition.PreprocessForLoopKindRecognition</a></div><div class="ttdeci">static void PreprocessForLoopKindRecognition(this Statement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00123">LoopKindRecognition.cs:123</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor_html_a1679d26aed3e97479b152a184e0f440c"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a1679d26aed3e97479b152a184e0f440c">SystemSharp.SysDOM.Transformations.Preprocessor.AcceptStore</a></div><div class="ttdeci">void AcceptStore(StoreStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00084">LoopKindRecognition.cs:84</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html">SystemSharp.SysDOM.StoreStatement</a></div><div class="ttdoc">Models a field/variable assignment or a signal transfer. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l01018">Algorithms.cs:1018</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html_a6ef16dfaab9446d1c703138925e26f4c"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a6ef16dfaab9446d1c703138925e26f4c">SystemSharp.SysDOM.Transformations.BreakLoopReplacer.AcceptCompoundStatement</a></div><div class="ttdeci">void AcceptCompoundStatement(CompoundStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00234">LoopKindRecognition.cs:234</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html_ae2f0a57df8c90f5ce35bf51ff8fa9822"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#ae2f0a57df8c90f5ce35bf51ff8fa9822">SystemSharp.SysDOM.Transformations.LoopControlDetector.AcceptContinueLoop</a></div><div class="ttdeci">void AcceptContinueLoop(ContinueLoopStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00159">LoopKindRecognition.cs:159</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html">SystemSharp.SysDOM.Transformations.BreakLoopReplacer</a></div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00224">LoopKindRecognition.cs:224</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer_html_a189887a338278b568ed1f408b3fdf730"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a189887a338278b568ed1f408b3fdf730">SystemSharp.SysDOM.Transformations.ForLoopRecognizer.AcceptBreakCase</a></div><div class="ttdeci">void AcceptBreakCase(BreakCaseStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00701">LoopKindRecognition.cs:701</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html_a1660db8c3089ba830f57103e53fe6b11"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a1660db8c3089ba830f57103e53fe6b11">SystemSharp.SysDOM.Transformations.BreakLoopReplacer.AcceptStore</a></div><div class="ttdeci">void AcceptStore(StoreStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00280">LoopKindRecognition.cs:280</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer_html_af77f4af451ef823345842b2b0102e0a1"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#af77f4af451ef823345842b2b0102e0a1">SystemSharp.SysDOM.Transformations.ForLoopRecognizer.AcceptContinueLoop</a></div><div class="ttdeci">void AcceptContinueLoop(ContinueLoopStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00677">LoopKindRecognition.cs:677</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html_ace63ed52b58d7c7153ce9a01a53c84c2"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#ace63ed52b58d7c7153ce9a01a53c84c2">SystemSharp.SysDOM.Transformations.BreakLoopReplacer.AcceptBreakCase</a></div><div class="ttdeci">void AcceptBreakCase(BreakCaseStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00292">LoopKindRecognition.cs:292</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer_html_a465f564896ddc2dae889e873c34210b2"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a465f564896ddc2dae889e873c34210b2">SystemSharp.SysDOM.Transformations.WhileLoopRecognizer.AcceptCall</a></div><div class="ttdeci">void AcceptCall(CallStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00464">LoopKindRecognition.cs:464</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer_html_a36fbc7cca8bd6b87014663ece4e44906"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a36fbc7cca8bd6b87014663ece4e44906">SystemSharp.SysDOM.Transformations.ForLoopRecognizer.AcceptGoto</a></div><div class="ttdeci">void AcceptGoto(GotoStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00709">LoopKindRecognition.cs:709</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor_html_ab11c04f777491c95d389618775f28bf5"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#ab11c04f777491c95d389618775f28bf5">SystemSharp.SysDOM.Transformations.Preprocessor.AcceptThrow</a></div><div class="ttdeci">void AcceptThrow(ThrowStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00112">LoopKindRecognition.cs:112</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_variable_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_variable.html">SystemSharp.SysDOM.Variable</a></div><div class="ttdoc">A local variable. </div><div class="ttdef"><b>Definition:</b> <a href="_literals_8cs_source.html#l00195">Literals.cs:195</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_break_case_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_break_case_statement.html">SystemSharp.SysDOM.BreakCaseStatement</a></div><div class="ttdoc">Models a &quot;break case&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00582">Algorithms.cs:582</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer_html_acab8324c32aaf32721608da31fa80e21"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#acab8324c32aaf32721608da31fa80e21">SystemSharp.SysDOM.Transformations.ForLoopRecognizer.AcceptBreakLoop</a></div><div class="ttdeci">void AcceptBreakLoop(BreakLoopStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00673">LoopKindRecognition.cs:673</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html">SystemSharp.SysDOM.Statement</a></div><div class="ttdoc">Abstract base class for a SysDOM statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00059">Algorithms.cs:59</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html">SystemSharp.SysDOM.Transformations.ForLoopRecognizer</a></div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00494">LoopKindRecognition.cs:494</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement_html_ada8e3f19627375431400ad9d7b85a4bb"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html#ada8e3f19627375431400ad9d7b85a4bb">SystemSharp.SysDOM.IfStatement.Conditions</a></div><div class="ttdeci">List&lt; Expression &gt; Conditions</div><div class="ttdoc">The list of if/elsif conditions. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00818">Algorithms.cs:818</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html_a37fca8032da69061738e069aac0ee171"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a37fca8032da69061738e069aac0ee171">SystemSharp.SysDOM.Transformations.BreakLoopReplacer.AcceptThrow</a></div><div class="ttdeci">void AcceptThrow(ThrowStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00308">LoopKindRecognition.cs:308</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html">SystemSharp.SysDOM.IfStatement</a></div><div class="ttdoc">Models an &quot;if-then-elsif-...-else&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00804">Algorithms.cs:804</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html_ac50d02251362180600b647c069ad9883"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#ac50d02251362180600b647c069ad9883">SystemSharp.SysDOM.Transformations.LoopControlDetector.AcceptSolve</a></div><div class="ttdeci">void AcceptSolve(SolveStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00185">LoopKindRecognition.cs:185</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html_a97b2895328cea9940993cd1427d13663"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a97b2895328cea9940993cd1427d13663">SystemSharp.SysDOM.Transformations.LoopControlDetector.AcceptCase</a></div><div class="ttdeci">void AcceptCase(CaseStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00171">LoopKindRecognition.cs:171</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement_html_ab21ebf237d5dbd34adf2d817ebf2c737"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html#ab21ebf237d5dbd34adf2d817ebf2c737">SystemSharp.SysDOM.IfStatement.Branches</a></div><div class="ttdeci">List&lt; Statement &gt; Branches</div><div class="ttdoc">The list of then/elsif/else branches. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00827">Algorithms.cs:827</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor_html_a9ac0cf66231b2c53e1ad419f519f912e"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a9ac0cf66231b2c53e1ad419f519f912e">SystemSharp.SysDOM.Transformations.Preprocessor.AcceptCall</a></div><div class="ttdeci">void AcceptCall(CallStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00116">LoopKindRecognition.cs:116</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer_html_aa0383640213c96be4b31ca2f44c291f4"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#aa0383640213c96be4b31ca2f44c291f4">SystemSharp.SysDOM.Transformations.ForLoopRecognizer.AcceptNop</a></div><div class="ttdeci">void AcceptNop(NopStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00693">LoopKindRecognition.cs:693</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html_ab0439c01b8175520541316cd8b3499b9"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#ab0439c01b8175520541316cd8b3499b9">SystemSharp.SysDOM.Transformations.LoopControlDetector.AcceptLoopBlock</a></div><div class="ttdeci">void AcceptLoopBlock(LoopBlock stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00148">LoopKindRecognition.cs:148</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html_a6f3038051166cb9b9376bb5e97415ff3"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a6f3038051166cb9b9376bb5e97415ff3">SystemSharp.SysDOM.Transformations.LoopControlDetector.AcceptCompoundStatement</a></div><div class="ttdeci">void AcceptCompoundStatement(CompoundStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00142">LoopKindRecognition.cs:142</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_goto_case_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_goto_case_statement.html">SystemSharp.SysDOM.GotoCaseStatement</a></div><div class="ttdoc">Models to &quot;goto case&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00615">Algorithms.cs:615</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor_html_a64f31e860872d77161643ea05ad15103"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a64f31e860872d77161643ea05ad15103">SystemSharp.SysDOM.Transformations.Preprocessor.AcceptLoopBlock</a></div><div class="ttdeci">void AcceptLoopBlock(LoopBlock stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00059">LoopKindRecognition.cs:59</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html_a197e204fd030641cf677ad75f5ca76e7"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a197e204fd030641cf677ad75f5ca76e7">SystemSharp.SysDOM.Transformations.LoopControlDetector.AcceptNop</a></div><div class="ttdeci">void AcceptNop(NopStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00181">LoopKindRecognition.cs:181</a></div></div>
<div class="ttc" id="namespace_system_sharp_1_1_sys_d_o_m_1_1_transformations_html_afb7093e7dd2053573e1c2da185a1d013"><div class="ttname"><a href="namespace_system_sharp_1_1_sys_d_o_m_1_1_transformations.html#afb7093e7dd2053573e1c2da185a1d013">SystemSharp.SysDOM.Transformations.EForLoopLevel</a></div><div class="ttdeci">EForLoopLevel</div><div class="ttdoc">Defines restrictions on &quot;for&quot; loop pattern matching. </div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00472">LoopKindRecognition.cs:472</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html_adf0737526eba792ecd5d8be983454de5"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#adf0737526eba792ecd5d8be983454de5">SystemSharp.SysDOM.Transformations.LoopControlDetector.AcceptCall</a></div><div class="ttdeci">void AcceptCall(CallStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00209">LoopKindRecognition.cs:209</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_return_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_return_statement.html">SystemSharp.SysDOM.ReturnStatement</a></div><div class="ttdoc">Models a &quot;return from procedure/function&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00693">Algorithms.cs:693</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html">SystemSharp.SysDOM.Transformations.LoopControlDetector</a></div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00130">LoopKindRecognition.cs:130</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_nop_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_nop_statement.html">SystemSharp.SysDOM.NopStatement</a></div><div class="ttdoc">Models a &quot;do nothing&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l01058">Algorithms.cs:1058</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer_html_a8a8a748c10f85c681980f45dab730dba"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a8a8a748c10f85c681980f45dab730dba">SystemSharp.SysDOM.Transformations.WhileLoopRecognizer.AcceptGoto</a></div><div class="ttdeci">void AcceptGoto(GotoStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00452">LoopKindRecognition.cs:452</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor_html_ac5dcacea4131dbbcde9b0f541f859156"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#ac5dcacea4131dbbcde9b0f541f859156">SystemSharp.SysDOM.Transformations.Preprocessor.AcceptCompoundStatement</a></div><div class="ttdeci">void AcceptCompoundStatement(CompoundStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00032">LoopKindRecognition.cs:32</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html_aafd231e2312f647fd308c6bb9fe2d217"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#aafd231e2312f647fd308c6bb9fe2d217">SystemSharp.SysDOM.Transformations.BreakLoopReplacer.BreakLoopReplacer</a></div><div class="ttdeci">BreakLoopReplacer(LoopBlock offScopeLoop)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00229">LoopKindRecognition.cs:229</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block_html_aacd2c38cfe0f95f392be1f46496aa76e"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#aacd2c38cfe0f95f392be1f46496aa76e">SystemSharp.SysDOM.LoopBlock.Trailer</a></div><div class="ttdeci">Statement Trailer</div><div class="ttdoc">The trailer is executed after the very last loop iteration. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00347">Algorithms.cs:347</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement.html">SystemSharp.SysDOM.CaseStatement</a></div><div class="ttdoc">Models a &quot;case select&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00874">Algorithms.cs:874</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_scope_detection_html_a86ffc83418e37b47d5ea2b1ada876b17"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_scope_detection.html#a86ffc83418e37b47d5ea2b1ada876b17">SystemSharp.SysDOM.Transformations.LoopScopeDetection.NeedsLoopScope</a></div><div class="ttdeci">static bool NeedsLoopScope(this Statement stmt, LoopBlock loop)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00216">LoopKindRecognition.cs:216</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor_html_a7fb9cb25a576a51fcf299e6f28f8277c"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a7fb9cb25a576a51fcf299e6f28f8277c">SystemSharp.SysDOM.Transformations.Preprocessor.AcceptCase</a></div><div class="ttdeci">void AcceptCase(CaseStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00078">LoopKindRecognition.cs:78</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer_html_a8e1ae9a06360e378517ca47c56a57def"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a8e1ae9a06360e378517ca47c56a57def">SystemSharp.SysDOM.Transformations.ForLoopRecognizer.AcceptStore</a></div><div class="ttdeci">void AcceptStore(StoreStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00689">LoopKindRecognition.cs:689</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_bin_op_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_bin_op.html">SystemSharp.SysDOM.BinOp</a></div><div class="ttdoc">Binary operator expression. </div><div class="ttdef"><b>Definition:</b> <a href="_core_algebraic_8cs_source.html#l02718">CoreAlgebraic.cs:2718</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer_html_a54c04c6404a7e32316be78a423f0c8c0"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a54c04c6404a7e32316be78a423f0c8c0">SystemSharp.SysDOM.Transformations.ForLoopRecognizer.AcceptCompoundStatement</a></div><div class="ttdeci">void AcceptCompoundStatement(CompoundStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00499">LoopKindRecognition.cs:499</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html_a7ad21c114ec3ddf2175552866ccbe6a7"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a7ad21c114ec3ddf2175552866ccbe6a7">SystemSharp.SysDOM.Transformations.BreakLoopReplacer.AcceptReturn</a></div><div class="ttdeci">void AcceptReturn(ReturnStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00304">LoopKindRecognition.cs:304</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_recognition_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_recognition.html">SystemSharp.SysDOM.Transformations.LoopRecognition</a></div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00121">LoopKindRecognition.cs:121</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer_html_adabd6053b54e9a94e9a76049b1478cf9"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#adabd6053b54e9a94e9a76049b1478cf9">SystemSharp.SysDOM.Transformations.ForLoopRecognizer.AcceptIf</a></div><div class="ttdeci">void AcceptIf(IfStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00681">LoopKindRecognition.cs:681</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_break_loop_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_break_loop_statement.html">SystemSharp.SysDOM.BreakLoopStatement</a></div><div class="ttdoc">Models a &quot;break loop&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00490">Algorithms.cs:490</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer_html_a83a98bd9ab9813c5ea76a640e8c31789"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a83a98bd9ab9813c5ea76a640e8c31789">SystemSharp.SysDOM.Transformations.ForLoopRecognizer.AcceptCall</a></div><div class="ttdeci">void AcceptCall(CallStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00721">LoopKindRecognition.cs:721</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html_aa10c6b7a3a4ee668c86926d06be1e82c"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#aa10c6b7a3a4ee668c86926d06be1e82c">SystemSharp.SysDOM.Transformations.LoopControlDetector.LoopControlDetector</a></div><div class="ttdeci">LoopControlDetector(LoopBlock loop)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00136">LoopKindRecognition.cs:136</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html_ae6e16f535a8f8f6d1084a5d32cedfe4c"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#ae6e16f535a8f8f6d1084a5d32cedfe4c">SystemSharp.SysDOM.Transformations.BreakLoopReplacer.AcceptGotoCase</a></div><div class="ttdeci">void AcceptGotoCase(GotoCaseStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00296">LoopKindRecognition.cs:296</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor_html_ad5ddbb667473a595a8ab7b6a2b90d00d"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#ad5ddbb667473a595a8ab7b6a2b90d00d">SystemSharp.SysDOM.Transformations.Preprocessor.AcceptBreakCase</a></div><div class="ttdeci">void AcceptBreakCase(BreakCaseStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00096">LoopKindRecognition.cs:96</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html_a3fe23fec40bca626290e50eb526f7819"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a3fe23fec40bca626290e50eb526f7819">SystemSharp.SysDOM.Transformations.LoopControlDetector.AcceptBreakLoop</a></div><div class="ttdeci">void AcceptBreakLoop(BreakLoopStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00153">LoopKindRecognition.cs:153</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer_html_af06e9946ae2f33563749d8eceb978fed"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#af06e9946ae2f33563749d8eceb978fed">SystemSharp.SysDOM.Transformations.WhileLoopRecognizer.AcceptIf</a></div><div class="ttdeci">void AcceptIf(IfStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00424">LoopKindRecognition.cs:424</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html_a64a6fbae3421ce96d6ed28ba32ea1cca"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a64a6fbae3421ce96d6ed28ba32ea1cca">SystemSharp.SysDOM.Transformations.BreakLoopReplacer.AcceptNop</a></div><div class="ttdeci">void AcceptNop(NopStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00284">LoopKindRecognition.cs:284</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">SystemSharp.SysDOM.LoopBlock</a></div><div class="ttdoc">Represents a loop. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00315">Algorithms.cs:315</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer_html_ab35a8f742e136534464d203571650985"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#ab35a8f742e136534464d203571650985">SystemSharp.SysDOM.Transformations.ForLoopRecognizer.AcceptGotoCase</a></div><div class="ttdeci">void AcceptGotoCase(GotoCaseStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00705">LoopKindRecognition.cs:705</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html_abe1294a058be00548dc2cc657ee36b7a"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#abe1294a058be00548dc2cc657ee36b7a">SystemSharp.SysDOM.Transformations.LoopControlDetector.AcceptThrow</a></div><div class="ttdeci">void AcceptThrow(ThrowStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00205">LoopKindRecognition.cs:205</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_eval_1_1_default_evaluator_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_eval_1_1_default_evaluator.html">SystemSharp.SysDOM.Eval.DefaultEvaluator</a></div><div class="ttdoc">A default implementation of a SysDOM expression evaluator. </div><div class="ttdef"><b>Definition:</b> <a href="_default_evaluator_8cs_source.html#l00043">DefaultEvaluator.cs:43</a></div></div>
<div class="ttc" id="namespace_system_sharp_1_1_sys_d_o_m_1_1_transformations_html_afb7093e7dd2053573e1c2da185a1d013a1b00e86e9eec058d0484b133ccc42826"><div class="ttname"><a href="namespace_system_sharp_1_1_sys_d_o_m_1_1_transformations.html#afb7093e7dd2053573e1c2da185a1d013a1b00e86e9eec058d0484b133ccc42826">SystemSharp.SysDOM.Transformations.StrictOneInc</a></div><div class="ttdoc">A &quot;strict&quot; for-loop where additionally the counter increment is exactly +1 or -1. ...</div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement_html_a0a1ae5400674e68848d8df3737ff06c6"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html#a0a1ae5400674e68848d8df3737ff06c6">SystemSharp.SysDOM.StoreStatement.Container</a></div><div class="ttdeci">IStorableLiteral Container</div><div class="ttdoc">The left-hand side: assignment target. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l01023">Algorithms.cs:1023</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer_html_afad59a2cdacd996df14bf3c60b7c37fa"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#afad59a2cdacd996df14bf3c60b7c37fa">SystemSharp.SysDOM.Transformations.ForLoopRecognizer.AcceptCase</a></div><div class="ttdeci">void AcceptCase(CaseStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00685">LoopKindRecognition.cs:685</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer_html_aa2d5fad5211e8592cfa97cf2c8903e1e"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#aa2d5fad5211e8592cfa97cf2c8903e1e">SystemSharp.SysDOM.Transformations.WhileLoopRecognizer.AcceptBreakCase</a></div><div class="ttdeci">void AcceptBreakCase(BreakCaseStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00444">LoopKindRecognition.cs:444</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_eval_1_1_break_evaluation_exception_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_eval_1_1_break_evaluation_exception.html">SystemSharp.SysDOM.Eval.BreakEvaluationException</a></div><div class="ttdoc">Thrown when to evaluation of a SysDOM expression shall be cancelled. </div><div class="ttdef"><b>Definition:</b> <a href="_default_evaluator_8cs_source.html#l00036">DefaultEvaluator.cs:36</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html_a5570dffe70e89b877248e09f02a9d9bf"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a5570dffe70e89b877248e09f02a9d9bf">SystemSharp.SysDOM.Transformations.LoopControlDetector.AcceptReturn</a></div><div class="ttdeci">void AcceptReturn(ReturnStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00201">LoopKindRecognition.cs:201</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_matching_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">SystemSharp.SysDOM.Matching</a></div><div class="ttdoc">Establishes a predicate over expressions, thus matching expressions with certain properties. </div><div class="ttdef"><b>Definition:</b> <a href="_expression_matching_8cs_source.html#l00043">ExpressionMatching.cs:43</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_sys_d_o_m_1_1_i_statement_visitor_html"><div class="ttname"><a href="interface_system_sharp_1_1_sys_d_o_m_1_1_i_statement_visitor.html">SystemSharp.SysDOM.IStatementVisitor</a></div><div class="ttdoc">Visitor pattern interface for statements. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00037">Algorithms.cs:37</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block_html_ae69eaa94bcba73ca0d6e1c25c6590ba1"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#ae69eaa94bcba73ca0d6e1c25c6590ba1">SystemSharp.SysDOM.LoopBlock.HeadCondition</a></div><div class="ttdeci">Expression HeadCondition</div><div class="ttdoc">The head condition is evaluated at loop entry. The loop body is executed only if it evaluates to true...</div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00323">Algorithms.cs:323</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor_html_a7479a847ac4fab3ca6b1c654c0f099ff"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a7479a847ac4fab3ca6b1c654c0f099ff">SystemSharp.SysDOM.Transformations.Preprocessor.AcceptContinueLoop</a></div><div class="ttdeci">void AcceptContinueLoop(ContinueLoopStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00068">LoopKindRecognition.cs:68</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html_ac37ec5fa8f0893114c1873b3ac4460b9"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#ac37ec5fa8f0893114c1873b3ac4460b9">SystemSharp.SysDOM.Transformations.LoopControlDetector.AcceptIf</a></div><div class="ttdeci">void AcceptIf(IfStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00165">LoopKindRecognition.cs:165</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block_html_a202cb097aa4816e49cac4be32c6fe146"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#a202cb097aa4816e49cac4be32c6fe146">SystemSharp.SysDOM.LoopBlock.Body</a></div><div class="ttdeci">Statement Body</div><div class="ttdoc">The loop body. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00411">Algorithms.cs:411</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html_a572c6b123eb76df7d7ffa577bbeead7b"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a572c6b123eb76df7d7ffa577bbeead7b">SystemSharp.SysDOM.Transformations.BreakLoopReplacer.AcceptSolve</a></div><div class="ttdeci">void AcceptSolve(SolveStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00288">LoopKindRecognition.cs:288</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_continue_loop_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_continue_loop_statement.html">SystemSharp.SysDOM.ContinueLoopStatement</a></div><div class="ttdoc">Models a &quot;continue loop&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00536">Algorithms.cs:536</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer_html_a0ba340f89f373280beed4c4e5f66ab2d"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a0ba340f89f373280beed4c4e5f66ab2d">SystemSharp.SysDOM.Transformations.ForLoopRecognizer.AcceptReturn</a></div><div class="ttdeci">void AcceptReturn(ReturnStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00713">LoopKindRecognition.cs:713</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_scope_detection_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_scope_detection.html">SystemSharp.SysDOM.Transformations.LoopScopeDetection</a></div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00214">LoopKindRecognition.cs:214</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html_ab8ed073cf1c13cee16bf6b563f7e327b"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#ab8ed073cf1c13cee16bf6b563f7e327b">SystemSharp.SysDOM.Transformations.BreakLoopReplacer.AcceptIf</a></div><div class="ttdeci">void AcceptIf(IfStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00268">LoopKindRecognition.cs:268</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor_html_ad525e53302e2b79a2a51a1b537558866"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#ad525e53302e2b79a2a51a1b537558866">SystemSharp.SysDOM.Transformations.Preprocessor.AcceptReturn</a></div><div class="ttdeci">void AcceptReturn(ReturnStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00108">LoopKindRecognition.cs:108</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer_html_a68d9bd6e729c4510f868e83230f3db36"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a68d9bd6e729c4510f868e83230f3db36">SystemSharp.SysDOM.Transformations.ForLoopRecognizer.AcceptThrow</a></div><div class="ttdeci">void AcceptThrow(ThrowStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00717">LoopKindRecognition.cs:717</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer_html_a62c9718ba9b5a9bbbc46357289f0caef"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a62c9718ba9b5a9bbbc46357289f0caef">SystemSharp.SysDOM.Transformations.WhileLoopRecognizer.AcceptCase</a></div><div class="ttdeci">void AcceptCase(CaseStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00428">LoopKindRecognition.cs:428</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_literal_reference_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_literal_reference.html">SystemSharp.SysDOM.LiteralReference</a></div><div class="ttdoc">A reference expression to a literal. </div><div class="ttdef"><b>Definition:</b> <a href="_core_algebraic_8cs_source.html#l02101">CoreAlgebraic.cs:2101</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer_html_aaa9b77f1b98be268e5e0cf92b9b852c0"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#aaa9b77f1b98be268e5e0cf92b9b852c0">SystemSharp.SysDOM.Transformations.WhileLoopRecognizer.AcceptSolve</a></div><div class="ttdeci">void AcceptSolve(SolveStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00440">LoopKindRecognition.cs:440</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor_html_a1a0853374f4e7665fe9c28c73df5c90e"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a1a0853374f4e7665fe9c28c73df5c90e">SystemSharp.SysDOM.Transformations.Preprocessor.AcceptSolve</a></div><div class="ttdeci">void AcceptSolve(SolveStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00092">LoopKindRecognition.cs:92</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer_html_a0663871c11efa33874a48a66e9e395cb"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_for_loop_recognizer.html#a0663871c11efa33874a48a66e9e395cb">SystemSharp.SysDOM.Transformations.ForLoopRecognizer.AcceptSolve</a></div><div class="ttdeci">void AcceptSolve(SolveStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00697">LoopKindRecognition.cs:697</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_throw_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_throw_statement.html">SystemSharp.SysDOM.ThrowStatement</a></div><div class="ttdoc">Models a &quot;throw exception&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00725">Algorithms.cs:725</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor_html_af16e1f2bb602eebfca825d9d5180d804"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#af16e1f2bb602eebfca825d9d5180d804">SystemSharp.SysDOM.Transformations.Preprocessor.AcceptIf</a></div><div class="ttdeci">void AcceptIf(IfStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00072">LoopKindRecognition.cs:72</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_call_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_call_statement.html">SystemSharp.SysDOM.CallStatement</a></div><div class="ttdoc">Models a function/procedure call statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00758">Algorithms.cs:758</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer_html_aa29355130eb7971ce7fde24e3af1c241"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#aa29355130eb7971ce7fde24e3af1c241">SystemSharp.SysDOM.Transformations.WhileLoopRecognizer.AcceptNop</a></div><div class="ttdeci">void AcceptNop(NopStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00436">LoopKindRecognition.cs:436</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_statement_html_afb0680df0429c1a4a22bffd891e91efa"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_statement.html#afb0680df0429c1a4a22bffd891e91efa">SystemSharp.SysDOM.Statement.Clone</a></div><div class="ttdeci">Statement Clone</div><div class="ttdoc">Returns a clone of this statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00149">Algorithms.cs:149</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html_a9139e3cffb07c857c196055151721c94"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a9139e3cffb07c857c196055151721c94">SystemSharp.SysDOM.Transformations.BreakLoopReplacer.AcceptCall</a></div><div class="ttdeci">void AcceptCall(CallStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00312">LoopKindRecognition.cs:312</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer_html_a6a2fcc7d918b2ada32668cf88bedceb4"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a6a2fcc7d918b2ada32668cf88bedceb4">SystemSharp.SysDOM.Transformations.WhileLoopRecognizer.AcceptLoopBlock</a></div><div class="ttdeci">void AcceptLoopBlock(LoopBlock stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00325">LoopKindRecognition.cs:325</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html">SystemSharp.SysDOM.Transformations.Preprocessor</a></div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00030">LoopKindRecognition.cs:30</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html_a5984e4ade500fba490ed193d5b072f05"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#a5984e4ade500fba490ed193d5b072f05">SystemSharp.SysDOM.Transformations.LoopControlDetector.AcceptBreakCase</a></div><div class="ttdeci">void AcceptBreakCase(BreakCaseStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00189">LoopKindRecognition.cs:189</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html_a2e488f2b00d385027846f4f9c264119c"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a2e488f2b00d385027846f4f9c264119c">SystemSharp.SysDOM.Transformations.BreakLoopReplacer.AcceptLoopBlock</a></div><div class="ttdeci">void AcceptLoopBlock(LoopBlock stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00240">LoopKindRecognition.cs:240</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector_html_ab02c004e86e14c0eb64359309f0d82b1"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_loop_control_detector.html#ab02c004e86e14c0eb64359309f0d82b1">SystemSharp.SysDOM.Transformations.LoopControlDetector.AcceptGotoCase</a></div><div class="ttdeci">void AcceptGotoCase(GotoCaseStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00193">LoopKindRecognition.cs:193</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor_html_acaca9b0eee3fde859a740d75fa8ba611"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#acaca9b0eee3fde859a740d75fa8ba611">SystemSharp.SysDOM.Transformations.Preprocessor.AcceptGoto</a></div><div class="ttdeci">void AcceptGoto(GotoStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00104">LoopKindRecognition.cs:104</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html">SystemSharp.SysDOM.CompoundStatement</a></div><div class="ttdoc">A composition of other statements with sequential execution semantics. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00260">Algorithms.cs:260</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement_html_a31529e0e2776047f5bc8997ce31f4d88"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html#a31529e0e2776047f5bc8997ce31f4d88">SystemSharp.SysDOM.CompoundStatement.Statements</a></div><div class="ttdeci">List&lt; Statement &gt; Statements</div><div class="ttdoc">Returns a list of all statements which are part of this statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00273">Algorithms.cs:273</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer_html_a981bf25750939362dd883036b4646bcf"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a981bf25750939362dd883036b4646bcf">SystemSharp.SysDOM.Transformations.WhileLoopRecognizer.AcceptCompoundStatement</a></div><div class="ttdeci">void AcceptCompoundStatement(CompoundStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00321">LoopKindRecognition.cs:321</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_bin_op_html_a387378fc1ca0e4c0c5d9084e9644906f"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_bin_op.html#a387378fc1ca0e4c0c5d9084e9644906f">SystemSharp.SysDOM.BinOp.Operation</a></div><div class="ttdeci">Kind Operation</div><div class="ttdoc">Gets or sets the kind of operation. </div><div class="ttdef"><b>Definition:</b> <a href="_core_algebraic_8cs_source.html#l02842">CoreAlgebraic.cs:2842</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html_ab2c56cbfa3067b7cfe2b065b2e676183"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#ab2c56cbfa3067b7cfe2b065b2e676183">SystemSharp.SysDOM.Transformations.BreakLoopReplacer.AcceptContinueLoop</a></div><div class="ttdeci">void AcceptContinueLoop(ContinueLoopStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00264">LoopKindRecognition.cs:264</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor_html_a70d28c58f33d6e9cf00c9eba0dc41880"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a70d28c58f33d6e9cf00c9eba0dc41880">SystemSharp.SysDOM.Transformations.Preprocessor.AcceptBreakLoop</a></div><div class="ttdeci">void AcceptBreakLoop(BreakLoopStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00064">LoopKindRecognition.cs:64</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer_html_a78f30559204c9b331de553122fe2efa0"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a78f30559204c9b331de553122fe2efa0">SystemSharp.SysDOM.Transformations.WhileLoopRecognizer.AcceptReturn</a></div><div class="ttdeci">void AcceptReturn(ReturnStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00456">LoopKindRecognition.cs:456</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_loop_control_statement_html_a4d1b71393feccac3f5fe5913440ef798"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_control_statement.html#a4d1b71393feccac3f5fe5913440ef798">SystemSharp.SysDOM.LoopControlStatement.Loop</a></div><div class="ttdeci">LoopBlock Loop</div><div class="ttdoc">The loop this statement refers to. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00484">Algorithms.cs:484</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer_html_a8ef9d51f1491529842cab614d548ff7c"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_while_loop_recognizer.html#a8ef9d51f1491529842cab614d548ff7c">SystemSharp.SysDOM.Transformations.WhileLoopRecognizer.AcceptThrow</a></div><div class="ttdeci">void AcceptThrow(ThrowStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00460">LoopKindRecognition.cs:460</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer_html_a8c9d00f61ca3bf3080d28bcfe9a35100"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_break_loop_replacer.html#a8c9d00f61ca3bf3080d28bcfe9a35100">SystemSharp.SysDOM.Transformations.BreakLoopReplacer.AcceptGoto</a></div><div class="ttdeci">void AcceptGoto(GotoStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00300">LoopKindRecognition.cs:300</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor_html_a49ee9521a4ec35d3449a80bbb86d476c"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_transformations_1_1_preprocessor.html#a49ee9521a4ec35d3449a80bbb86d476c">SystemSharp.SysDOM.Transformations.Preprocessor.AcceptNop</a></div><div class="ttdeci">void AcceptNop(NopStatement stmt)</div><div class="ttdef"><b>Definition:</b> <a href="_loop_kind_recognition_8cs_source.html#l00088">LoopKindRecognition.cs:88</a></div></div>
</div><!-- fragment --></div><!-- contents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
  <ul>
    <li class="navelem"><a class="el" href="dir_bb5e995590685548b7e11478911ee7c3.html">SystemSharp-Google-SVN</a></li><li class="navelem"><a class="el" href="dir_8deefa4467a62b572b52d238d562b104.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_0e5a72156f8560bbc472a395da2569d6.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_9d3c30b4336bd92c64ccf0aeee487ace.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_69d8a7302bcb7dce902a87e2ac33c28d.html">SysDOM</a></li><li class="navelem"><a class="el" href="dir_0f0814edebb8fc040ec633556ce8bbc7.html">Transformations</a></li><li class="navelem"><a class="el" href="_loop_kind_recognition_8cs.html">LoopKindRecognition.cs</a></li>
    <li class="footer">Generated on Thu Dec 26 2013 14:21:40 for SystemSharp by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.8.6 </li>
  </ul>
</div>
</body>
</html>
